export function hardRedirect(url: string): void {
  window.location.replace(url);
}