Considered that but thought the target audience might be familiar. I think your suggestion would have made it more accessible though to those who have not been around linters before.