docs/developer spelling and linting.

docs/developer spelling and linting.

Updated docs/dev to include spelling updates, markdown linting, and adding a couple of auto-TOCs to get away from inline html.