Thanks for the comments @mik (and thanks for translating!). This is a known issue, and we have a new version ready to be deployed soon. Due to those links you mentioned, we implemented a "linkchecker" which crawls over the entire website before deploying, looking for broken links. Hopefully in a week or so this will be resolved. Cheers.