documenting things...
Kill xhtml printer

I'm no longer using it and it doesn't compile.