But that's why this conversation started. The difference between the name

puppet-lint

and

openvox-lint

is not immediately obvious.