NEWS;

--- a/NEWS	Sun Aug 21 13:45:50 2022 +0200
+++ b/NEWS	Sun Aug 21 13:57:40 2022 +0200
@@ -38,6 +38,9 @@
 add-on to the index.html of a session. Rare INCOMPATIBILITY, consider
 using a separate theory "README" with Isabelle document markup/markdown.
 
+* ML files (and other auxiliary files) are presented with detailed
+hyperlinks, just like regular theory sources.
+
 
 *** HOL ***