[lrizzo]

and the mismatch between the number in the pdf and the one in the manpage/mail is due to subsequent optimizations.