On Fri, Jul 25, 2025, 07:40 Jinhui Lai <jinhui-lai(at)foxmail(dot)com> wrote:
>
> #PG 17.5, 16, 15, 14, 13, 12, 11, 10...#
>
> #PG 17.0-17.4#
>
This would be an unintended change/regression when 17.0 came out that was
discovered and fixed in 17.5
Reverting back to long-established behavior should not be a surprising
action to see.
David J.