@BillHeaton I'm all for using some prettyprint tool, but someone has to set it up. In my limited experience, there are subtleties that such tools have difficultly with.