Automatically reload a browser after having saved a file in Windows.