Man pages matching name obiaddtaxids in section 1:

obiaddtaxids.1.en

debian 10 / obitools