format.py: Document `#' as a format parameter.