For Windows, it's CTRL and F5 at the same time. It just forces a fresh reload of the webpage.