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.