but you have to update every pages source code... ? just as easy as renaming file. might be other options in comments.
caching the proper way - http headers...
apparently things included by server side includes arent ever cached? could be wrong.
again suggesting http headers - and using no robots for google old pages