Feature #9085: Set refresh to F5 key