v0.5.25 release

v0.5.25 release notes for the GitHub Release v0.5.25 (release task: Issue #1143).

Tag state (verified against origin)

Ref	Object	Points at
`v0.5.25`	annotated tag `9d56b919f664e24fcb891043887fdfbb6453a857`	commit `115821d8c245f40bf58caaeb73933318f755310e`

Release docs sync commits the notes page without the (latest) marker, so the first of its two commits is red on main every release (v0.5.23 #1128, v0.5.24 #1137; 14 closed triage tickets) (Issue #1139; PR #1140)

Milestone reports tests failed for a passing run: 0 errors matches the bare error substring check (Issue #1141; PR #1142)