Ignore HTML files from Opera modules