This is the sole option that was missing from the man page. https://bugzilla.gnome.org/show_bug.cgi?id=700339
Mention relevant files, and how gnome-shell gets started in the session. https://bugzilla.gnome.org/show_bug.cgi?id=680601
This make it easier to update the content and to transform the man page into other output formats, like HTML. https://bugzilla.gnome.org/show_bug.cgi?id=680601