On Wed, Aug 20, 2025 at 09:01:12AM +0800, Xuneng Zhou wrote:> +1 for e.g.
e.g. feels more elegant, so I have reused your suggestion, and appliedthe result down to v13.--Michael