javascript: (function() {
  var host = window.location.hostname;
  var path = window.location.pathname;
  var port = window.location.port;
  var search = window.location.search;
  var onDashboard =
    host === "dashboard.heroku.com" ||
    (host === "localhost" && port === "4200");
  if (onDashboard) {
    if (host !== "dashboard.heroku.com") {
      window.open("https://dashboard.heroku.com" + path + search);
    } else {
      window.open("http://localhost:4200" + path + search);
    }
  } else {
    if (host !== "elements.heroku.com") {
      window.open("https://elements.heroku.com" + path + search);
    } else {
      window.open("http://localhost:5000" + path + search);
    }
  }
})();