Housekeeping: align development's history with main#30

ubidefeo merged 6 commits intodevelopmentarduino/micropython.js:developmentfrom

mainarduino/micropython.js:mainCopy head branch name to clipboard