Merged
requested to merge 74-menu-items-that-are-not-links-should-be-rendered-as-the-rest-of-the-links into rc-v2.6.4
GitLab Runners cleaning campaign ongoing (ETA 2nd October 2023). Check https://cern.ch/otg0078219 for further information.