(1) Is there a simple way to bulk copy (clone) the whole MediaWiki:namespace from one wiki to another wiki (on the same server) ? (2) Is there a simply way to extract let's say five MediaWiki:pages so that I can put it together with a patch into the CVS ?

In my case, the coming e-mail notification patch for 1.3.2 (see my recent (pre)documentation pages on the MetaWiki) uses a couple of MediaWiki:namespace pages for composing the notification mails and other purposes and I want to publish these important pages together with the program patch in one "package".

But I don't know, how. Tom