On Sat, Dec 28, 2024 at 03:25:46PM +0800, Junwang Zhao wrote:
> I believe some redundant wording has been committed.
>
> K may be chosen may be chosen at ANALYZE time.
>
> Attached patch fixes it and with some line adjustments.
Indeed. Fixed, thanks!
--
Michael