you're welcome to open a bug upstream at bugzilla.gnome.org about it if there's no one already opened there then.
you're welcome to open a bug upstream at bugzilla.gnome.org about it if there's no one already opened there then.