While I'm here, pet portlint, portfmt, portclippy and switch to DISTVERSION. PR: 286810 Approved by: submitter is maintainer