Agreed. But the ExportHtml plugin isn't an entirely horrible workaround, so at least there is a way.