Man pages matching name funinfoget in section 3:

FunInfoGet.3.en	debian 10 / libfuntools-dev
FunInfoGet.3.en	debian 11 / libfuntools-dev
FunInfoGet.3.en	debian 12 / libfuntools-dev