[hankeypancake]

Agree on all points. We don't automatically reload the browser though, so it's up to the user to actually get the new version, otherwise people would be very angry with us..

The main reason we did it this way, is that it is really really simple and quick to implement.

Thanks for the input!