docs: Merge gh-pages commits into main

[bog-walk]

Description

Summary of the change: Merge the 6 documentation commits made to gh-pages, which are missing on main.

Detailed description:

• Why: Documentation website redirects and API docs have been updated and deployed from gh-pages since around 0.58.0. So these files on main have not been updated since then. Part of the release process involves calling dokkaGenerate on main, then copying-and-pasting a local copy of docs/api to gh-pages directly each time.

• What:

  • Cherry-picked the 6 commits on gh-pages that diverged from main
  • Added an extra commit to sort out a file that wasn't properly deleted and a file that had not been updated on either branch since 0.59.0.

---

Type of Change

Please mark the relevant options with an "X":

• Documentation sync

[bog-walk]

@vnikolova Let me know if you think there'd be any issue with the html redirect files being moved to main. Or generally any issue with the gh-pages branch eventually being deleted.

[bog-walk]

@e5l I noticed when pushing directly to gh-pages, that the pages-build-deployment action was triggered automatically.

I'm assuming that, moving forward, we will want to only trigger this action manually with a release, not every time a commit is merged to main. If any changes need to be made here to enable/disable this action, feel free to push.

[vnikolova]

@bog-walk The changes in the documentation-website folder need to be reverted to match what is on the main branch (cfg/buildprofiles.xml and hi.tree). These changes are not necessary anymore as GH pages should only use the static files from the docs folder.

[e5l]

@vnikolova we're going to drop gh-pages and use main as target documentation branch instead to simplify API docs publishing

[vnikolova]

Looks good 👍