now I have to click the refresh button; I prefer the old way–to hit f5; bring it back!
It seem there’s a bug related to keyboard shortcuts:
At this time, you can use
Ctrl+R for refresh the page.
sriram closed #3