Comment by arthurtw

Wow, that's fun. No wonder few applications use "/" for hotkey combination. Maybe I should use a different key, say, ".".