Thanks! The export solves the problem for now, and allows me to search in my text editor for relevant hotkeys.
Still, I think it would be a worthy feature to add an option to filter on hotkey name. On the other hand, it's certainly not a critical item; for instance, the on-the-fly zoom feature, which we discussed recently in another thread [Font Size / Zoom Level in Commander Layout] and for a which a number of other users also expressed support there, is a much more important feature, in my opinion, since it affects day-to-day workflow.