custom USB Device name - modifying the core *instead* of the boards.txt file

[pert]

And to make it easy for the users to install and update, be sure to add support for Boards Manager installation:
https://arduino.github.io/arduino-cli/latest/package_index_json-specification/