// Force reload when page is restored from browser back/forward cache (bfcache).
// After navigating to an external site and pressing back, browsers may restore
// the page from bfcache. In that state, React event listeners and component
// state are lost — the header menu doesn't work and Reveal animations are stuck
// at opacity:0. A clean reload is the most reliable fix.
window.addEventListener("pageshow", function (e) {
  if (e.persisted) window.location.reload();
});