function openExternal(href) {
  return !open(href, "_blank");
}