more work on getDocs.py