unescaping URLs, to work around some dubious problems with resolving the hrefs
 adding the updated January snapshot, now including nLab and Encyclopedia of Math
 adding nLab and EoM to the merge utility