Note: on firefox 5, hitting F5, shift-F5 or Ctrl-F5 isn’t enough, but hitting the “reload” button on the right of the address bar did the trick.
Note: on firefox 5, hitting F5, shift-F5 or Ctrl-F5 isn’t enough, but hitting the “reload” button on the right of the address bar did the trick.