Review keyboard shortcuts for reload bypass cache
I thought Ctrl+F5 is standard for reload bypassing cache, but in window_cmd_reload()
it looks like we just check for Shift key being pressed... that means either Ctrl+Shift+R or Shift plus click on the reload button? We should test it to verify our current behavior, and try to match other browsers.