formatting: make printf faster.
generalizations: fix docs for nrot and -nrot.