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