Make why3doc syntax less error-prone
Why3doc offers [...] for embedding code inside comments, but people tend to misuse it. I have already fixed a lot of instances of this issue. I even tried to improve the lexer in 1827453a to workaround the issue. But people keep misusing it. As a consequence, several examples cannot be uploaded to the gallery due to how broken they look.
So, I now propose a much drastic change: forsaking the [...] syntax in why3doc and switching to a Markdown-like syntax: `...`. We could even allow the ```...``` syntax along the way.
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information