windowHints hotkey modal clashes with user defined modals

It seems like windowHints implementation is based on modal hotkeys, and it defines a global variable named "k" for the modal. That global variable was clashing with my own modal variable (also named "k") causing weird behavior. Changing my modal variable name fixed it.

I'm not experienced enough with hammerspoon or lua to fix this myself. Is it possible to use a local variable in the windowHints module? Maybe the windowHints variable should have a less common name?

I believe this is the line causing trouble.

Thanks!