put menu item in File menu,

where Refresh F5 is.
Merge branch 'PaulVI-patch-3'