@Gargron Can the Mastodon mascot be renamed (named?) "John", now? Please?