2013-10-27-21.15.19: Get rid of en_pp() and all calls to it. (A kludge obsoleted by the new standard-prettyprint-mill.api.)