@Gargron @Nigma what is the difference between mastodon.online and mastodon.social?