Final Isabelle2025 planned for tomorrow

[Makarius]

The final version of Isabelle2025 is in principle ready according to plan, but 
that is a couple of hours too late to publish it today.

If there are any observations that prevent this, please tell me today.

See also https://isabelle.sketis.net/repos/isabelle-release/rev/756e88885a7c 
and 
https://isabelle-dev.sketis.net/phame/post/view/85/release_candidates_for_isabelle2025 
and


PS: The next release will probably happen in 9 months, before the end of 2025. 
I want to avoid a release process with the Christmas vacation 2025/2026 in the 
middle of it.


	Makarius