Added above as bug watch (as described in comment #4's link).
[Sorry about comment #5 - my page only showed the text in the comment-entry box,
not yet as a confirmed comment - if someone can delete the duplicate comment,
my face can stop turning red with embarrassment...]
Filed upstream as: https:/ /bugzilla. gnome.org/ show_bug. cgi?id= 793049
Added above as bug watch (as described in comment #4's link).
[Sorry about comment #5 - my page only showed the text in the comment-entry box,
not yet as a confirmed comment - if someone can delete the duplicate comment,
my face can stop turning red with embarrassment...]