1. 2020-09-29 Re: Suggestions for renaming tools from the Burkhard =?ISO-8 2. 2020-09-25 Suggestions for renaming tools from the auth Boudewijn Rempt