On Mon, Jul 21, 2025 at 4:10 AM Eli Zaretskii <eliz@gnu.org> wrote:

> OK, so I guess we can now close this bug?
>

Sounds good to me!