update Run.scala to produce html ...