To use the above feature, your browser must support Java scripts, and Java scripts must be enabled. If lacking, you may do the following ...

After having loaded the new file, you better should hit the "Reload" button of your browser to reliably see the new version.