Eelco Dolstra 136fd55bb2 Get rid of <figure>		2020-07-23 18:27:20 +02:00
..
manual	Get rid of <figure>	2020-07-23 18:27:20 +02:00