- Use MAN{1,3,5}PREFIX - portlint fix PR: ports/101893 Submitted by: Gea-Suan Lin <gslin_AT_gslin dot org>