Documentor.py put back