> Yes, either file a bug report or mention it as a comment to https://bugzilla.gnome.org/show_bug.cgi?id=137017, which is closely related. Bug reported here: https://bugzilla.gnome.org/show_bug.cgi?id=748431 Thanks, Mosè