Ignore HTML exports, at least for now.