Update NEWS with mention of fix for Bug#4070.