OK, I found the upstream bug reporting site https://bugs.freedesktop.org/ and in the _future_ I'll try to remember to send such _new_ reports there.