Sync docs file

Author: jurrejelle

docs/README.md

@@ -80,6 +80,7 @@ The following plugins for MkDocs are being used:
 - https://squidfunk.github.io/mkdocs-material/
 - https://github.com/lukasgeiter/mkdocs-awesome-pages-plugin
 
-## Serving final site
-The final site that gets displayed is in the "gh-pages" branch. Both the 1.20.1 and 1.21.1 workflows push to this branch, and a dropdown will appear on the site.
-Be very careful running any kind of mike command locally (mike deploy, mike set-default etc) since these will make commits to gh-pages, which might update the live site.
+## Deployment
+The hosted documentation is found on the `gh-pages` branch of the repository. [Mike](https://github.com/jimporter/mike) is used to deploy both the 1.20.1 and 1.21.1 documentation on the same site through Github Actions.
+
+When working on the docs locally, the plain `mkdocs` commands should be used to view the changes made to the version of the docs you are currently working on, like the previously mentioned `mkdocs serve`.