Do a page refresh when the entire document needs to be replaced

When the entire document needs replacing, including the html and
head tags, it's better to do a page refresh.