Better `pretty` documentation

Signed-off-by: Timothy Gu <timothygu99@gmail.com>
Merge pull request #1726 from TimothyGu/pretty

Better `pretty` documentation.