now HTML export can use an external template