They responded that it is not a bug in gnome, and should be reported to https://bugs.freedesktop.org/
They responded that it is not a bug in gnome, and should be reported to https:/ /bugs.freedeskt op.org/