docs: Import 10.2.5 release notes, add news item.
diff --git a/docs/relnotes.html b/docs/relnotes.html
index ca00883..c7e0983 100644
--- a/docs/relnotes.html
+++ b/docs/relnotes.html
@@ -21,6 +21,7 @@
 </p>
 
 <ul>
+<li><a href="relnotes/10.2.5.html">10.2.5 release notes</a>
 <li><a href="relnotes/10.2.4.html">10.2.4 release notes</a>
 <li><a href="relnotes/10.2.3.html">10.2.3 release notes</a>
 <li><a href="relnotes/10.2.2.html">10.2.2 release notes</a>