Remove the pretty-printing modules (now in package pretty(