Man pages matching name picotool in section 1:

picotool.1.en

debian 13 / picotool