Dump KOWALSKI.
Dump html.lisp.

That's beyond what we're trying to do.