2013-10-26-18.04.29: src/lib/prettyprint/big/src/base-prettyprint-mill-g.pkg: Chopped out deadwood left by designs past.