Man pages matching name lepton-update in section 1:

lepton-update.1.en

debian 12 / lepton-eda