Proper shortcut for reload with extensions for Mac