Following up on review of patch2038
1 patch for repository http://darcs.net/screened:
patch 293a8367ef09c43c5ed3fb94e7eed99d73bf62d2
Author: Ben Franksen <ben.franksen@online.de>
Date: Mon Jul 20 00:58:07 CEST 2020
* remove outdated parts of the docs for onormalize