569f88537a
This is no longer necessary with button labels being non-markup by default. Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/3149>