Clean up references to the repo's previous name. Removes the authors field, which is non-obligatory since RFC 3052. Better to omit than confound: let git log be our witness.