Although this will slightly increase the server load, it also means you will always get the latest version of the file.
I will have a look at the HotPot module and see if the caching mechanism can be improved.