OK, who at Google had the bright idea to rebind the browser shortcut for reload? It had to be a Windows user: “What do you mean? F5 is reload!”