@jordanlund Yes, it would be appropriate to file an issue with the Mastodon staff, but I haven't had time to do so yet. If someone could do it before me, that would be great...