v0.5.25 发布

v0.5.25 的 GitHub Release 发布说明：v0.5.25（release task：Issue #1143）。

Tag 状态（对 origin 验证）

Ref	对象	指向
`v0.5.25`	注解 tag `9d56b919f664e24fcb891043887fdfbb6453a857`	提交 `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)