Avoid old printf formatting in most cases

It is now only used for styles, heading numbering and IETF templates for
compatibility with existing preferences files.