Update NEWS with mention of changes for Bug#4058.