This is the formals, examples, and pre-requisites for everything I could identity about linting options
Each sub-issue has concrete examples, to make everyone able to understand the value of each lint rule