How does this string formatting trick work? : I've recently seen this string formatting example:

    >>> from datetime import date
    >>> 'Today is {0:%A}'.format(date.today())
    'Today is Thursday'

I'm wondering how it works.