Shouldn't we call generateInstrumentedHTML here? Don't we need to re-instrument html if the DOM changed?