This is not needed on the badge, and `import main` in boot.py actually breaks mpremote.
Changes by moon2 from a merge commit in dev_p4 branch