Merge branch '9.2.5-release' into 'master'

Fix release notes link for 9.2.5

See merge request !131

download_ghc_9_2_5.shtml

@@ -43,7 +43,7 @@ date: 7 November 2022
 <h2>Contents</h2>
 
 <ul>
-  <li><a href="$downloads_url$/docs/html/users_guide/9.2.4-notes.html">Release Notes</a></li>
+  <li><a href="$downloads_url$/docs/html/users_guide/9.2.5-notes.html">Release Notes</a></li>
   <li><a href="$downloads_url$/docs/html/">Documentation</a></li>
   <li><a href="#distros">Distribution packages</a></li>
   <li><a href="#binaries">Binary packages</a></li>