docs: function() {
        Explorer.liveRegion.Clear();
        Explorer.liveRegion.Hide();
        Explorer.Unhighlight();
        Explorer.currentHighlight = null;
        Explorer.walker.deactivate();
        Explorer.walker = null;
      }