fe1eab1b3c
This is what Params.parse() boils down to when accepting extra parameters, so we can just as well use standard syntax here. Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/3196>