irc (last edited 2022-11-07 22:51:41 by JohnDennison)