Eelco Dolstra ca130b73a0 Get rid of <example> ...

Markdown doesn't have floats so we can't have this.

2020-07-23 18:27:20 +02:00

..

manual

Get rid of <example>

2020-07-23 18:27:20 +02:00