Add IGNORE_FILE_LIST since this is a potential config option.  Make html_hdr_close more robust (so it will cope with a opening html-element with properties).