Thanks, but I could reproduce the same problem with a fresh installation on Linux on a browser that was never installed there before. There are similar bugs when doing other operations on other websites. I don’t think that restarting my computer and installing new drivers, or equivalent, will fix that bug.
It doesn’t seem to bother the devs, so I’ll probably just switch back to Firefox.