[19:21] Cool! ~nossidge on tilde.town made a list of pretty much all users on all of the tilde servers.