I'm a game developer, one of my players pointed out this bug. I think I've just found a new Feature!
/r/gaming: r/gaming - A subreddit for (almost) anything related to games - video games, board games, card games, etc. (but not sports). - August 6, 2021 - 11:12