TOOLSRC/sys/src/Python/docTools
