Man pages matching name pdf.prfontsize in section 20: