What is the best way to delete a page with a name like
"Talk:Project_talk:Community Portal":
that even deleteBatch.php can't deal with, as you can see in
https://bugzilla.wikimedia.org/show_bug.cgi?id=11487
Trying to browse it only gets as close as
http://taizhongbus.jidanni.org/index.php?title=%E7%89%B9%E6%AE%8A%3ASearch&…
However dumpBackup.php will show its contents.
Anyway, what is the best way to delete it without damaging the database?