There is also this bug in Gnome Bugzilla which you may want to add your thoughts to:
https://bugzilla.gnome.org/show_bug.cgi?id=572066
There is also this bug in Gnome Bugzilla which you may want to add your thoughts to:
https:/ /bugzilla. gnome.org/ show_bug. cgi?id= 572066