File Roller
Hi Kphoek
As you say, the reason you couldn't move the page yourself was that the target title had a non trivial history, therefore needed to be deleted or moved away before it could be replaced. As you are not an admin or a page mover, you weren't able to do those things yourself, and WP:RM/TR was the right place to request it. I ended up swapping the two pages so that if you look at the redirect that's now at GNOME Archive Manager, and press "View history" you'll see that there were two prior edits to that page before you tried to replace it. Thanks and happy editing — Amakuru (talk) 23:21, 10 June 2024 (UTC)