Re: AUTHORS: Revert commit 5da31c8817293ff98b4defceb962f7d0fbc25829 (Was: How to undo authors list generated automatically.)