Rolled out a few tweaks to following Mastodon users in Micro.blog. Mastodon recently switched from Atom to RSS (cool) but did not redirect old feeds, likely breaking most clients (not cool).