The latest version of microphone introduces the mip packaging manager. Does this create new options for installing picozero? Investigate mip and agree options. https://github.com/micropython/micropython/releases/tag/v1.20.0