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!