Man pages matching name grok-pull in section 1:

grok-pull.1.en

debian 10 / grokmirror