This should be `doc_timeout`, as well as the line 1253 before it. There is no need for a `pub_timeout` since published worksheets are noninteractive.