841599d475
Since I'm forced to fix the spaces for the workAreaBox change, might as well fix them in the nearby lines. Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/2395>