<div dir="ltr"><div class="gmail_extra"><div class="gmail_quote">On Mon, Nov 7, 2016 at 11:56 AM, David Gobbi <span dir="ltr"><<a href="mailto:david.gobbi@gmail.com" target="_blank">david.gobbi@gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr"><div>I wonder if this problem could be avoided if each major upgrade</div><div>changed the names of whichever resources are being cached.</div></div></blockquote><div><br></div><div>We already do this ("cache busting") for our Javascript code.  Before the next upgrade I'll look into doing something similar for our HTML templates.</div></div></div></div>