# pat configure is, IMO, a "utility" as per policy s. 12.1
pat: manpage-without-executable
