chore: switch to version 2.3.7 after the release by giacomocusinato · Pull Request #2701 · arduino/arduino-ide