Next, a toy: even my ancient Linux laptop and desktop are now by
default giving me text consoles (not xterms) with 128 columns or so.
Given this, it's a shame to make the pretty-printer stop at 80
columns; here's a patch (for Linux, which probably breaks on other
platforms) to make the system query the width of the terminal.