export function delayed_redirect(url) {
  setTimeout(() => {
    window.location.href = url;
  }, 5000);
}