Export dbdocs (to host)

While we wait patiently for self-hosted dbdocs, perhaps we could get an export function to publish the pages ourselves.

This feature could take the form of downloading a folder (perhaps .zipped) of publishable web files (.html, .css, .json, .js/.php, etc.) which we could then upload to our own sites to use.