[desktop web] You can send a GIF by changing file extension in the post comment of a subreddit that does not allow it