Man pages matching name micropython in section 1:

micropython.1.en

debian 13 / micropython