Follow renaming of SVNNEWS in docs
(cherry picked from commit da2fe7a335f8baab1d3ff67c95f1729cb86aff99)