The wiki does have an export page in the toolbox section.
If you choose a Category (e. g. IDE) rather than a single page, it will export all pages in that category as a single .xml file. This may go part way to helping you get content (without slowing the wiki server to a crawl for other users).
I searched a bit, and found that
export link, and the output looks decent in XML. It is wiki though, not html, so we would have to render that to html (not too difficult I hope)
So if we can create a list of topics from the source and mark them with a category in the wiki, we can at least manually export them.
So
- Make list of IDE topics (software to do that regularly?)
- Mark the relevant topics with a category
[li]export that category manually
[/li][/list]
Maybe another step would be to check the exported XML against the first topic list. (would yield a list of topics still to mark, deleted, not created etc)