Is there a way to dump the articles of a wiki to individual files named by their title? Like if you had something called /wiki/Hello World it would be, among the other articles, dumped as 'hello_world.xml'. You can do this on websites like wikidot which send you a zip file containing each article as a single text file.