arguments @var{objects} are the computed values to be formatted.
The characters in @var{string}, other than the format specifications,
-are copied directly into the output; if they have text properties,
+are copied directly into the output, including their text properties,
+if any.
@end defun
@cindex @samp{%} in format