HTML bowler is working now. Left to do: tidy both HTML and TG to make the HTML⇐⇒TG convertion revertable.