IGNOREFILES was set for a HTML file to avoid modifying the package for minor changes, but it is now considered as dangerous. Fear!