No matches were found for subject:"\[Rd\] R\-exts.texi\: nuke\-trailing\-whitespace has changed name \(PR#7888\)"