Notice: Mastodon Changes

Given the upcoming demise of botsin.space, I’m in the process of moving this site’s account to mastodon.social.

Since Mastodon seems to have trouble with follower migrations, I would advise you to double-check if you’re following the right account.

Update: Everything seems to be fixed now.