Twitter alternative: how Mastodon is designed to be “antiviral”