Ivan

Thanks, @mattheworiordan! I don't have too much free time right now, so I've forked the project and made an issue there so I don't forget about it and this issue...

An update on this: it didn't happen for a few days after the last macos update, usually (but not always) it would happen multiple times per day. So it might...

I forked the project to add the features I want and I fixed this bug by switching to a different API for hotkeys. That API requires extra permissions, so it...