In case anyone might need it, there’s a new version of the Keyboard Maestro Shortcuts plug in available. You can just download it again, drag it onto Keyboard Maestro and it’ll update.
Earlier today, a user on Twitter noted an issue triggering shortcuts with names that contain characters with diacritics. It turns out between Keyboard Maestro and the terminal, there’s a bit of a unicode translation going on (ref. single vs double point unicode specification of characters) that looked visually correct, but was not a character match. I have implemented a conversion to switch it back to what it should be and it is now working for me and that user.
If you are not using characters with diacritical elements in your shortcut names, then this update won’t have any impact on your use.