Map reload button (with hotkey)

After I learnt how to edit map properties with a text editor to achieve otherwise impossible thing, no function is more missed than a simple map reload option from the File menu, and importantly: with a hotkey attached to it; I suggest F5 (but it should be bindable).