docs: function(msg) {
        if (!Assistive.hook) return;
        var script = document.getElementById(msg[1]);
        if (script && script.id) {
          var jax = MathJax.Hub.getJaxFor(script.id);
          if (jax && jax.enriched) {
            Explorer.StateChange(script.id, jax);
            Explorer.liveRegion.Add();
            Explorer.AddEvent(script);
          }
        }
      }