<CTRL>-R is most commonly used for refreshing webpages. Are we fairly sure this will be a natural shortcut?