Arduino Web Editor

Is it possible to enhance the list of the available boards in order to include Contollino harware ?

Via "Select Other Board & Port" I can't find the way to add new choices. I can't find this item within Preferences

For information, this action is possible on the Arduino IDE located on a PC via the use of the new board within the IDE preference