Remove user help

This may or may not be temporary, but the user help is so outdated that
it's no longer reasonable to keep it around.

https://bugzilla.gnome.org/show_bug.cgi?id=732402