Hi per,
Hum, well, maybe the first ting to do is to remind the doc admins that
cool URI don't change, and ask that old URL still work, or redirect to the new ones. That can be easily achieved at the server level.
That said, you can try the
batchedit plugin.
Make sure you have good backup of your wiki (and you know how to restore) before you use this plugin.
To prevent such things from happening again, you can define some
interwiki links in
conf/interwiki.local.conf. When next URL change comes at your doc server, you can easily redirect all links to new URL.
/Schplurtz