2013-10-05-18.32.44: src/lib/prettyprint/big/src: Removed prettyprint-stream-g.pkg, prettyprint-stream.api (obsoleted versions of prettyprint-buffer-g.pkg, prettyprint-buffer.api).