Cleanup docs, add a timeout, in exec_utils.py.