Amazing how many products exist purely due to Google's lack of motivation to do things right. Will be using this a lot.
Does Google Apps Script expose an API to do this though? It would be easier to download an html page from within GDocs without having to run something locally.
I haven't had a detailed look but yeah, I think most of this could be rolled into a Google App Script and made into an add-on. I actually did something similar years ago but for exporting to html for email, going through a few libraries for html and CSS manipulation and inlining.
Possibly. I wasn't determined enough to look into that. Plus, it's easier for me to batch download my documents from the terminal.
Note that it will be a HTML plus directory of images, so you need to return an archive.