Fix validation issues in generated HTML.
Have examples depend on the executable.