Mostly trouble free update (Changelog, Download). There are only some minor glitches so far.

• DW 2025-05-14 "Librarian" Extension Manager complains about write permissions for bundled plugins (#4441)

  • Fix #4441 (PR #4442)
• Include Plugin: deprecation (#355)

And there are some PHP 8.4 related problems in Plugins remaining as well.