Improve release notes per comments from Andres Freund.
Make a bit more noise about the timeout-interrupt bug. Also, remove the
release note entry for commit
423e1211a; that patch fixed a problem
introduced post-9.3.2, so there's no need to document it in the release
notes.