@gargron I'm thinking of migrating to mastodon.online. I think, there is no chance of shutting down mastodon.online?