function native_navigation(url) {
	location.href = url.href;
	return new Promise(() => {});
}
Loads `href` the old-fashioned way, with a full page reload.
Returns a `Promise` that never resolves (to prevent any
subsequent work, e.g. history manipulation, from happening)
@param {URL} url