DOKK / manpages

Man pages matching name porgrc in section 5:

porgrc.5.en debian 10 / porg
porgrc.5.en debian 11 / porg
porgrc.5.en debian 12 / porg