Comment by jrm4

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