2013-10-09-09.57.49: Replaced (almost) all uses of standard-prettyprinter by cynbe-prettyprinter, then renamed standard-prettyprinter to core-prettyprinter and cynbe-prettyprinter to standard-prettyprinter.