Improve documentation management during the release

After we released 10.1.0 we had a period of a few weeks where we still had the 10.1.0-rc2 documentation and the 10.0.2 documentation was the default. It wasn't until we re-enabled the pages job on main that this was fixed.

We should improve the automation here to make this a little better:

• We should run the pages job when the tag the actual release, to include that version
• We should use a GitLab CI/CD variable to disable the pages job, rather than having to comment something out.
• It would also be nice if we could have the pages job "manual" when it is disabled, so we can run it if we really want to anyway.