Exactly this. I do find it kinda funny that Google Docs/Word and their ilk have HTML export options. Kind of a weird funny/sad anachronism. As if there was some hope that people would use Google Docs to make their own contributions to the independent web.