docs: private static String findHref(Event ev) {
  		Element element = (Element) ev.getTarget();
  		while (element != null && !element.hasAttribute("href")) {
  			element = (Element) element.getParentNode();
  		}
  		if (element == null) {
  			return null;
  		}
  		String href = element.getAttribute("href");
  		return href;
  	}