HTML export functionality complete