are using a browser extension to selectively enable or disable
Describe your changes (optional):
Review Request #10097
Created July 20, 2018 and submitted July 23, 2018, 5:40 p.m.
This is a very small release, with just a couple important bug fixes.
Built HTML and looked at the results.
Needs double backticks.
Pushed to release-1.0.x (49bf229)