Man pages matching name nimpretty in section 1:

nimpretty.1.en

debian 12 / nim