Deleted 4 years ago
I've had some trouble setting up a testing environment for linux (ironically, because Windows is being difficult), so I don't have a fix yet; but your report is in my bug tracker (also known as "a .txt file I have") now and I'll have to check it out soon-ish. I don't have any tips for screen recording on linux, either.
But thank you for your bug report!