Since there's been no action from the Ubuntu maintainers on this, I finally got around to reporting this upstream: https://bugzilla.gnome.org/show_bug.cgi?id=607906 Please take a look and add anything that I forgot.
Since there's been no action from the Ubuntu maintainers on this, I finally got around to reporting this upstream: https:/ /bugzilla. gnome.org/ show_bug. cgi?id= 607906 Please take a look and add anything that I forgot.