Man pages matching name obm-nav in section 1:

obm-nav.1.en

debian 10 / obmenu