I have now also filed a bug report on this upstream: https://bugzilla.gnome.org/show_bug.cgi?id=762193
I have now also filed a bug report on this upstream: https:/ /bugzilla. gnome.org/ show_bug. cgi?id= 762193