dumpHTML is used by Wikimedia, so I presume that functions correctly; you would be advised to upgrade to 1.12 though, rather than 1.11.
MinuteElectron.
Thanks very much. And my plan is to update to the most current, when I finally get approval to do so (version 1.13 may be out by then...) I don't know if I want to try taking a somewhat modified 1.9 directly to the new parser in 1.12 though.