Corrected URLs for Moscow ML.
The HOL superpouch is no longer an obvious Google hit.