Shortcut key to refresh: What is the shortcut to refresh Windows PC and a web page on Google Chrome and Edge browsers