Towards Isabelle2025-1-RC3 and AFP release

[Makarius]

My original plan was to publish the next release candidate yesterday, but I 
was too busy elsewhere and a few notable points are still open. It will happen 
within a few days.

We are already > 3 weeks into the official release process, and the 
isabelle-dev repository is still blocked. I usually try to keep that state of 
uncertainty at approx. 2 weeks (which is already quite a lot). Sometimes 
people get uneasy to push changes that are for the next release onto it.

The fork of isabelle-dev vs. isabelle-release should have happened for RC2, 
but without AFP moving as well, it would merely cause even more confusion. So 
what is the current plan AFP? We have again a situation of "several weeks 
delay for no particular reasons", do we?


	Makarius