AUTHORS: Remove some accidentally-committed content.