Why does Mastodon convert uploaded gifs to mp4s and then stick "GIF" in the corner? This seems a little misleading, and noscript doesn't like it (it causes a page refresh when I allow the video player through noscript, which then means we lose track of where the video was if it was deep under more recent things)