Adds HTML export