according to the behaviour documented in the manual page. That way, the copyright notice can be dropped. I place the rewritten version into the public domain. Fixes PR 5784.