* update workflow
* Format `index.html`, update the URLs, add favicon, various other minor tweaks
* Move script into `.github/scripts`, add the package version to documentation path
* Split the building and deployment of documentation into its own workflow
---------
Co-authored-by: Kirill Mikhailov <konnor1980@yandex.ru>