Dynamically change "f5" to "cmd+r"

added assumption that osx users have cmd+r hotkey for refresh.
Dynamically change "f5" button to say "&#8984;+r" instead.