semi-puppet-linted