Does the animal we see on Mastodon server error pages have a name, and can it please be #Errorphant?