change default refresh key to F5 (implements #9085)