Update on that old mastodon server, apparently that 844 got down to 817 before it gave up, so some of them were just temporarily down. That's still a big mess of servers that it couldn't deregister itself from. I guess I need to figure out a new use for that server now.