[ros-diffs] 01/01: [SERVMAN] Add an accelerator for the F5 (refresh) key