“launcher” is another name for Command palette.