La documentation est directement éditable sous github. Chaque page de documentation est générée et puis hébergée par Read The Docs. Les pages de documentation ont systématiquement un lien qui renvoit précisement vers le fichier source à éditer sous github pour corriger ou améliorer la documentation.
La documentation est aussi disponible directement ici Documentation de PLaTon