On 2023-08-28 11:30, Noah Meyerhans wrote:
Did I miss something or was the Wiki page just not updated? :-)The wiki's outdated. A tool generates the content, but actually updating the wiki involves a manual copy & paste. I'll get it updated.
Cool, thanks! -- Michael <schams.net>