core: make pretty printer modal
tools: update ddci help page