The hotkey behavior seems to be fixed on the dev site, thanks. (BTW, I am using current Firefox on Windows.)
Thanks for testing. I will submit those changes now.