Added mention of HTML export; other minor edits for clarity.