cdd8d33587
This is less concise than the current ad-hoc parsing, but gets us error handling ("unknown option --foo") and is easier to extend. Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/2712>