Re: [PATCH] `disabled-command-hook' fix (was Re: Really weird `disabled-command-hook' bug)