fetch("http://127.0.0.1:7669").then((myJson) => {
  if (myJson.status == 200) {
    let irc = document.getElementById("visit-irc");
    if (irc != null) {
      irc.classList.remove("hidden");
    }
  }
});