Shell/3907

[endlessm/eos-shell#3907]
We'll probably take this out, but gnome-doc-list@gnome.org is not the Endless docs mailing list