Another HTML-lint `tiny' gateway