Document AlertinatorException
Docs: correctly markup <pre> elements.

I keep forgetting that single backticks are italics in reST; double
backticks are required for <pre> formatting (which Markdown does with
single backticks).

Now we correctly use double backticks where appropriate.