* scratch/ExPy.py: Update documentation