Eelco Dolstra c3c858ac6d Make doc() return arbitrary Markdown rather than the contents of the "Description" section ... Thus we can return the examples section (and any other sections) from doc() and don't need examples() anymore.		2020-12-03 16:17:58 +01:00
..
manual	Make doc() return arbitrary Markdown rather than the contents of the "Description" section	2020-12-03 16:17:58 +01:00