ctrl-R or cmd-R now refreshes the page