Add docs for linting, type checking, and editor integration #1992
toolness wants to merge
linting-and-editors-docs into developAdd docs for linting, type checking, and editor integration
linting-and-editors-docs into develop