python/dist/src/Doc/lib
