@FediTips Urgh. I moved to mastodon.social a few months ago (still don’t understand why I did that) and now I should probably move again. Foolishness abounds.