011ac6f83c
We started to version them last cycle, so docs can be differentiated between versions. It is not *expected* that two versions show up on the same system, but then it also doesn't hurt handling it. Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/2822>