2013-10-23-09.42.47: More prettyprint-mill fiddling.  Next up:  Finalizing the standard-prettyprint-mill.api interface.