Is there currently a way to put out something else than HTML? Or is there at least an easy to hook into `@behaviour` to write “output filters”? I'd be very interested in trying to provide some LaTeX printer if it is currently missing.