And for those who are only vaguely familiar, this ZIM file format is not the same as the https://zim-wiki.org one.

I am actually only vaguely familiar and I was wondering about that every time I saw the format referenced but never bothered to check, your comment is informative!