This Google Chrome document is worth reading:
<a href="https:&#x2F;&#x2F;docs.google.com&#x2F;document&#x2F;d&#x2F;1vwx8WiUASKyC2I-j2smNhaJaQQhcWREh7PC3HiIAQCo&#x2F;edit#" rel="nofollow">https:&#x2F;&#x2F;docs.google.com&#x2F;document&#x2F;d&#x2F;1vwx8WiUASKyC2I-j2smNhaJa...</a><p>In particular, it gets into the heart of the matter: What does the user want to happen when they click the Refresh button?<p>It does seem worthwhile to try to change the default behavior of the Refresh button to mean &quot;refresh the page&quot; instead of &quot;fix the page&quot; (what it currently does), which would make this &quot;immutable&quot; proposal unnecessary, AFAICT.