Man pages matching name grfcodec in section 1:

grfcodec.1.en	debian 10 / grfcodec
grfcodec.1.en	debian 11 / grfcodec
grfcodec.1.en	debian 12 / grfcodec