As the comment above suggests, I've now reported this bug upstream at https://bugs.freedesktop.org/show_bug.cgi?id=47980
Ignore the GNOME bug I referred to in comment #4.
As the comment above suggests, I've now reported this bug upstream at https:/ /bugs.freedeskt op.org/ show_bug. cgi?id= 47980
Ignore the GNOME bug I referred to in comment #4.