“menulet” is another name for Menu bar extra.