This repository was archived by the owner on Apr 17, 2025. It is now read-only.

Description
I see that my commit is not online 95c41f6
And the day somebody decides to follow the README.md to push it will probably kill other changes that are alive.
The solution is to merge changes from the source branch, kill it and setup Sphinx to regenerate HTML in master from _sources/ without overwriting them.