[06:43:44] <ori>	 most are
[14:30:07] <Reedy>	 :(
[17:14:29] <James_F>	 Krinkle: Clearly we can delete AUTHORS and just point people to ChatGPT now. :-)