When starting a new terminal session from locations other than the Connected Devices panel, the extension presents a drop-down menu of serial ports.
On Linux, this previously included all virtual consoles under /dev/, most of which are irrelevant in this setting so we have removed these.
To make setup a little easier, the extension now only presents /dev/ttyACM ports in the drop-down, and provides an additional option to let you enter a custom port name.