Hi Karsten, just pinging this since some time has passed, and I just realized that a user sub page doesn't even show in the default searches. Do you mind if I move it over to the main space for now and you can always overwrite/delete it once you have something better?
Thanks a lot for your patience.
I have moved the page to an appropriate spot. The page still needs to be fluffed I believe. It will also be nice if you could set up a page for the Mermaid extension and link to the respective tip from it.