It would be much nicer if the Linux package also contained script to add Arduino IDE to the Dash menu.