This is a reminder of the plan for the next release: https://isabelle-dev.sketis.net/phame/post/view/69/plan_for_isabelle2024_release The hot phase of the release process is scheduled for 03-Apr..15-May-2023. Now is a good time to think about what needs to be "in" the release. Makarius