Updated HTML export