AUTHORS: remove file (use online version instead).