Reload pages based on cache-control: no-cache header
Remove Ctrl-R expiry hook, and jquery.hotkeys