use Leijen pretty-printer, also for HaXml output
more exports