The botsin.space Mastodon server shutting down is sad news, it’s a pretty important server and if you didn’t like bots it was handy that you could just block one server and block loads of them at once.