* Move pagination config to own section (deprecation warning)
* Update hugo to version 0.140.0
* Update actions/checkout to v4
* Update actions/configure-pages to v5
* Update actions/upload-pages-artifact to v3
* Update actions/deploy-pages to v4
* Update hugo to version 0.140.2
* Remove GitLab CI configuration
As noted by @renchap, "We do not rely on Gitlab CI anymore, this
can be dropped."
https://github.com/mastodon/documentation/issues/1357#issuecomment-1851642299
* Fix#1357, Use new default branch name "main"
This requires changes in
* the GitHub Pages deployment config
* a few HTML page templates, where the default branch name is
included in links to the repo (stylized as "Improve this page"
in the English version of the live docs webpage)
---------
Co-authored-by: albert <albert.rafetseder+gitlab@univie.ac.at>
