Changing serial-name (at least at RPi Pico)

[PizzaProgram]

It would be very helpful, if someone could add at least 1 word to the automatically generated serial name
during the setup / initialization.

I also recommend, that the part Raspberry_Pi_Pico_... would be shortened to: RPi_Pico to give more space to something else.

Why?

• Because there is very little difference between serial numbers at the end, (see picture)
• so it's hard to distinguish the boards,
• which can cause serious accidents. (Like: overheating water instead of turning on a lamp... )

Example: ConfigurableFirmata.ino

/*
 * ConfigurableFirmata standard example file, for serial communication.
 */

#include <ConfigurableFirmata.h>

// Change the name of the board to find it easier. Change and recompile each time before flashing it to new a board.
// (Max 16 ascii chars or empty "" to have no specific name.) 
// Serial number will be added to the end automatically to make the boards unique. 
// Example: serialName="RobotArm";  >>> usb-Arduino_RPi_Pico_RobotArm_076461E62D412FE4-if00

const char* serialName     = ""; 
...

[PizzaProgram]

Of course it would be also very helpful for other boards too, like Arduino Nano / UNO ... not just for RPi_Pico.

I would gladly contribute to Commit these changes, if someone would point me to the right direction,
at which file and line this serial-name is being generated originally?
(Searched, but did not find it.)