Look like current deb package has not been updated in years, leading to users use a deprecated version of Arduino, and reporting very old bugs like #5822.

Looks like the deb upgrade is blocked by licence clarity: #2703