Sphinx-Dokumentation auf GitHub schreiben

Mit Edit on GitHub steht eine Sphinx-Extension zur Verfügung, mit der sich die Sphinx-Dokumentation auch auf GitHub editieren lässt.