Add HTML export!
Change document to read in text at import time.