ESP32 Time library, formatting date and writing it to char array

[carguy]

So then how do I read a three-character element from my const char* months[][12] array from PROGMEM?