Fix for #394
Manually merge #418: github PATs.
Closes #418
Update README.md

Fix a missing space after a period. Consistently markup `devtools` as per the rest of the document.
Merge pull request #440 from gavinsimpson/patch-1

Update README.md
Some tweaks + styling improvements
Update NEWS
Merge branch 'master' of https://github.com/kevinushey/devtools into kevinushey-master
Fix markdown bug
Merge pull request #441 from imanuelcostigan/patch-1

Fix markdown bug