Man pages matching name obiextract in section 1:

obiextract.1.en

debian 10 / obitools