> I know F5 to refresh, but never used it on my Mac since the media keys were set to be the default and were more useful to me anyway. Probably a good thing, s

> I know F5 to refresh, but never used it on my Mac since the media keys were set to be the default and were more useful to me anyway. Probably a good thing, since F5 to refresh is a Windows thing and does nothing on the Mac.