Man pages matching name grenum in section 1:

grenum.1.en

debian 10 / geda-utils