4 merge requests!308Bring main and devel back in sync,!300playing with fixing divergence between devel and main,!269Merge devel into main: largest change is code formatting checker and enforcement in CI,!258Extend Arduino devcomuino to support digital IO pins and Arduino Nano