As a reminder, here is the given plan for the coming release https://sketis.net/2025/plan-for-isabelle2026-october-2026 (posted 17-Dec-2025). Nobody has disagreed with that. So hopefully everybody agrees with it, and understands the consequences. Makarius