Ah, interesting! I'm on a standard installation of Ubuntu 20.04 LTS, if that's helpful.
(Btw, don't stress about it if a fix for this isn't planned! I have other ways to play the game!)
