Update web/eg-259/examples/lecture9/validator.html