Fixes #3534 - new HTML file options are now project-specific.