Do not blindly "source" the user script file. Instead, parse it line by
line and handle <? ... ?> blocks as Tcl code. The rest is dumped
verbatim as HTML code. Add an example.