[Tutor] Formatting date/time

[Eduardo Vieira]

I'm trying this example from python docs:
from time import gmtime, strftime
strftime("%a, %d %b %Y %H:%M:%S +0000", gmtime())

Output = 'Wed, 04 Aug 2010 17:58:42 +0000'
Is not there a string formatting option for the day without a leading
zero? Like: 'Wed, 4 Aug 2010 17:58:42 +0000'

It looks like it's not in the docs.

Thanks

Eduardo