An Arduino library for setting and retrieving internal RTC time on ESP32 boards - View it on GitHub