Thanks, much, Jason. That clarifies.
And a search, to w3c, showed formats. Adding
in the existing date function, did it. (Though I am a little mystified why there is an 'n,' rather than an 'm,' for the month, in the existing function … but it works.)