Expanded description of HTMLInstrumentation