It would be nice to have a way to copy version/platform info in your preferred format for pasting into github reports without having to adjust the user-select None setting manually. e.g.

v0.13.0-b0 "Toki"
2106302
esp8266 2_7_4_7 (1)