[dev] Editing the documentation