Update NEWS, RELEASE_NOTES for fix for Bug#4098.