#5222 do not reload HTML files if instrumented