[Users] key binding mysteriously changing

[Derek B. Noonburg]

On Sat, 22 Sep 2018 15:00:36 +0100, Brad Rogers <brad at fineby.me.uk>
wrote:

> On Fri, 21 Sep 2018 14:09:28 -0700
> "Derek B. Noonburg" <derekn at foolabs.com> wrote:
> 
> Hello Derek,
> 
> >Has anyone seen anything like this?  Any suggestions on how to track
> >it down?  
> 
> I'm not sure what expected behaviour would be if the following isn't
> set, but I suggest you check that the "Enable customisable keyboard
> shortcuts" setting in 'Preferences/Other/Miscellaneous' is enabled
> first.

That's definitely enabled (and I just double-checked).  I have a bunch
of custom key bindings -- this is the only one that behaves strangely.

- Derek