Fix link in gh-pages root

Should be to main, not master.

Author: xylar

.github/workflows/docs_workflow.yml

@@ -69,8 +69,8 @@ jobs:
           cd gh-pages
           # Create `.nojekyll` (if it doesn't already exist) for proper GH Pages configuration.
           touch .nojekyll
-          # Add `index.html` to point to the `master` branch automatically.
-          printf '<meta http-equiv="refresh" content="0; url=./master/index.html" />' > index.html
+          # Add `index.html` to point to the `main` branch automatically.
+          printf '<meta http-equiv="refresh" content="0; url=./main/index.html" />' > index.html
           # Configure git using GitHub Actions credentials.
           git config --local user.email "41898282+github-actions[bot]@users.noreply.github.com"
           git config --local user.name "github-actions[bot]"