✏️ Editing: pydoc.bat