I haven't worked with github in the fashion. (guess I'm a GitHub noob in that regard). It looks like this is request already in progress. How can I add my name to the list of parties interested in seeing this happen. pull/7349 looks like it is well underway. I added a comment to Autoselection of device · Issue #1481 · arduino/Arduino · GitHub in case that is the correct place to "vote" to include this feature.