Fix prose

Various fixes done in a semi-automated manner:
- Spellcheck
- Consistency of code-fence languages (`js` vs. `javascript`)
- Consistency of languages (`html` vs `HTML`, `javascript` vs `JavaScript`, `css` vs `CSS`, etc)