Proposal for a customizable `<select>` element, currently defined as `<selectlist>`, previously `<selectmenu>`.