Greatly improving HTML exporting in general, and model HTML export specifically.