Document %4 and %5 format specifiers in comments.