document.addEventListener("keydown", (event) => {
  if (event.ctrlKey && event.key === "`") {
    window.location.replace("/sn");
  }
});