mike2.html made a copy of mike.html but with new-style class names.