improve formatting in Linting section of dev docs