Hm....I'm afraid I'm more the support type. The developers use several
tools to make our dumps, but I really don't know how it's done....and,
of course, our algorithm for compressing the huge wiki down to such a
small size is likely a well-guarded secret!