HTML export, initial implementation