88ac08b542
The man page hasn't been updated in years, so the list of options ended up being quite outdated. Most notably it's missing all wayland-related options. Remove obsolete options and add all the missing ones so that the list is up to date again. Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/1553>