Deal with cross-julia-version lint noise using lintpragma in latest Lint