[devtools] document keyboard shortcut for Command Menu ====================================================== The title says it all.