Do not list all the possible options in the man page but only the help
options.
This is in order to avoid duplication and prevent the man page from
becoming obsolete in case the options change in the code but do not get
updated in the man page.
https://bugzilla.gnome.org/show_bug.cgi?id=776063
