Fix proof broken by new auto rewrite in 9ff04c4dc9.

This is evidence of a backwards incompatibility, so mention the change
in release notes.
Tweaks to markdown in release notes so that pandoc copes with it.