That's sensible -- thanks.

I'd kind of like to avoid the need to rename files a lot, but this would certainly work. It just seems as though it ought to be possible to do something ajaxy that would get around this. E.g., the js script could detect that it was out of date, and then download the new code. But I guess no matter what, I still have to remember to change the version number in at least two places.