Why do you propose this change? Compile Notebook will leave behind the .html file that I describe, no?