Timestamp option for minutes vs. months confusing. Could we add option for months with leading zeros?

The ability to add a custom timestamp onto the file name of the exported file is great. Thanks.

However, I notice that the variable "mm" is a bit confusing. I assumed it would give me the Month as a number with a leading zero, since "mmm" gives you Month as a word and "mmm" appears next in sequence. But "mm" is currently configured to give you Minutes instead. So if you are looking to include a date timestamp like "2011-04-07", then you can't currently do it without applying the "full" timestamp option.

For consistence, It would be great to have "mmm" produce "April" and "mm" produce "04". And then to select a different variable to produce minutes -- PHP uses "i". Alternatively, use caps for H:M:S and use lower-case for yyyy-mm-dd.

Phil.