I use F5 for refreshing whatever, including webpages, didn't even know Ctrl+R would do the same, what shortcut do you prefer? Ctrl+Ç?