It would be useful to add a command to obtain the name of the board both via the command line and the HTTP api Proposal: - ` arduino-app-cli system get-name Get the custom name of the board` - ` GET /v1/system/name` { "name": "my-board"}`