formatting: make printf faster.
generalizations: fix docs for nrot and -nrot.
io.streams.string: inline <string-writer> so with-string-writer is faster.