docs: function(node, event) {
  		var href = node.href ? node.href : node.getAttributeNS("http://www.w3.org/1999/xlink", "href");
  		// Update `window.location`.
  		window.history.pushState(null, null, href);
  	}