Thanks so much, it has been a constant annoyance for me that _sometimes_ Ctrl+F2 just doesn't do anything. It did not occur to me to check if that's a known iss

Thanks so much, it has been a constant annoyance for me that _sometimes_ Ctrl+F2 just doesn't do anything. It did not occur to me to check if that's a known issue, I just wrote it off as a glitch in the matrix. Your workaround is going to make my daily menu usage go much more smoothly, thanks!