@supermario commented on this post: Huh, weird. I can report that bug to the GitHub if you don't feel like it/don't have an account, if you want?
It probably won't get fixed for a bit, though, since Thell's taking a break and it's also minor.
oh thanks for offering, but i can report it! c: