https://www.compuscoop.com/how-to-quickly-refresh-a-web-page-with-safari/