Filed an upstream bug, at long last, in the Gnome bugtracker at https://bugzilla.gnome.org/show_bug.cgi?id=793977
Filed an upstream bug, at long last, in the Gnome bugtracker at https:/ /bugzilla. gnome.org/ show_bug. cgi?id= 793977