[document export] this works now, in JSON format

2 jobs for dev-docs-download in 18 minutes and 51 seconds (queued for 10 seconds)
Status Job ID Name Coverage
  Test
passed #2721
docs

00:10:33

passed #2722
test

00:08:18