DOKK / manpages

Man pages matching name prettyping in section 1:

prettyping.1.en debian 11 / prettyping
prettyping.1.en debian 12 / prettyping