add temporal/src/dumpd-docs.py