Merge branch 'arduino:main' into main#6461

github-actions[bot] merged 6 commits intoarduino:mainarduino/library-registry:mainfrom

EatingJan1:mainEatingJan1/library-registry:mainCopy head branch name to clipboard