Commit 877d80944b00a15acfee965a55e92ee3a77a812e

Werner Lemberg 2018-06-18T10:08:17

Introduce `@example:' subsections.