Pardon, the debug test results weren't updated. It's in 97e8aeff

On Mon, 29 May 2023 at 19:47, Nikita Malyavin <nikitamalyavin@gmail.com> wrote:
The new version of the fix is 5229ea56. Many changes there, see the commit message.

--
Yours truly,
Nikita Malyavin