Adding a get parameter that is different from time to time is a hack that forces the browser to download the updated file rather than using the locally cached one. Since we'll probably release the updated version on the same url, I figured this would be a good idea.