“command menu” is another name for Command palette.