Всё-таки нашёл, то что требовалось --
http://www.htmlvalidator.com/lite/. Freeware, подсветка синтаксиса, валидация. Однако, валидация не совсем полная, о чём каждый раз сообщается при проверке -- дескать, а вот полная версия нашла бы ещё одну ошибку и выдала бы два предупреждения. Но в учебных целях пойдёт.