9.4 release notes: improve valgrind mention

Report by Peter Geoghegan