Should this extension use the same arduino.json for settings as the other extensions?

[trullock]

Presumably the Arduino specific strings in there should be directly compatible?

Would make adoption/migration to this project much easier, plus all the poor souls in the future who are googling problems don't need the confusion of slightly differently named settings keys