Forgive me – this was already solved elsewhere.
The trick is to reboot the Keyboard Maestro Engine.
(I had only quit and restarted the KM app, which is, of course, not the same thing)
All good now.
( Perhaps worth a small addition to that section of the Wiki, reminding us to restart the Keyboard Maestro Engine ?)
