so someone either here or in one of the other Slack teams recommended a small binary that does a great job of formatting JSON; anyone know about this?