Since we need to maintain backward-compatibility, please leave `prettyprint` in, but add a deprecation comment near its definition.