run tidy over html files; added include for gnu pages