@JohnBaez I was just thinking that a collaborative document or wiki page would make generating the list much easier!