Adjust issues list, following resolution/discussion on the mailing list. Make matching edits to the document.