Update NEWS, release notes for Bug#4130.