Man pages matching name mpremote in section 1:

mpremote.1.en

debian 13 / micropython-mpremote