Rename pretty module to doc (we had pretty::pretty, want pretty::doc)