The navigation API has moved to the HTML Standard