Radio clock conversion to NTP

I've previously modified a radio clock that can't get a reliable time signal to use NTP via an ESP32-S3 but have recently improved it so that it waits for the time to be known before powering on the radio clock, which avoids the radio clock deciding that there's no time signal and reverting to manual mode. It now also automatically presses buttons to configure the radio clock to display 24 hour time.