Fix the "import minidom as microdom" stuff in lore
|Reported by:||exarkun||Owned by:|
(github, coverage, patch, buildbot, log)
#3560 switched lore from microdom to minidom. To avoid lots and lots of extra diff, it left lore using the name "microdom" in most places, but made that actually refer to minidom.
Change all of the names used in Lore to minidom to make the code less confusing.