When hot-key bindings are modified the new bindings do not work until after a new login

UIORG-9 provided a means for the key-binding editor to update Stripes' internal notion of what the bindings are directly, so that it's not necessary to logout and login again before the new bindings take effect.

However, it seems that something within the react-hotkeys library prevents the new bindings from being adopted. The old binding is correctly disabled, it is just not being replaced.

(We can see from the display of the hot-keys testing page at http://localhost:3000/settings/developer/hotkeys that the new bindings have been correctly installed in stripes-core, which is why I think the problem is in react-hotkeys.)