Code Editor : instrumentation.html