+ ;;
+ ;; [...] above referred to the trick of printing to a string stream,
+ ;; and then simply printing the resulting sequence to the pretty
+ ;; stream, possibly with a space prepended. However, this doesn't
+ ;; work for pretty streams which need to do margin calculations. Oh
+ ;; well. It was good while it lasted. -- CSR, 2003-12-15