Merge branch 'main' of github.com:arduino/arduino-ide into pluggable-monitor

# Conflicts:
#	arduino-ide-extension/src/browser/arduino-ide-frontend-module.ts

Author: Alberto Iannaccone