Proper shortcut for reload without extensions for Mac

We don't use F keys as shortcuts in Mac. So I added a new shortcut for the reload without extensions command.