// centralize navigation to simplify switching between client and server routing
export function navigate(path) {
window.location.href = path;
}
export function reload() {
window.location.reload();