This project consists of a small project, doccords clean-up, and a larger project, a rewrite of the pretty printer.
The doccords section consists mainly of finalizing the documentation and working with the Urbit Foundation to add the documentation in an appropriate place in docs.urbit.org, probably developer tools, dojo tools, or both. There is some programming work to complete the doccords functionality.
Bugs in the pretty printer and problems with the output format have been long standing frustrations to Urbit developers. Many of these issues have been documented in UIP-119, https://github.com/urbit/UIPs/blob/main/UIPS/UIP-0119.md. This grant addresses most of those documented issues.