. mention the '%%' syntax for printing literal '%' in the documentation. (it's standard printf legacy, but nonetheless) [SVN r15075]