2013-10-06-00.56.09: src/lib/prettyprint/big/src/: For clarity and greppability tenamed prettyprint.pkg -> plain-prettyprint-buffer.pkg. That was unbelievably time-consuming...