[document-export] some code cleanup

3 jobs for dev-docs-download in 27 minutes and 20 seconds (queued for 3 seconds)
latest
Status Job ID Name Coverage
  Test
passed #2828
deps

00:04:58

passed #2829
docs

00:12:34

passed #2830
test

00:09:47