Thanks for all the advice thus far.
Interestingly, the concierge at one of the premier hotels in Agra cautions that the once-daily flight from AGR to DEL is unreliable in January due to fog in Delhi. He advises ground transport to DEL, where mainline flights are less likely to have problems, and where there are far more options if stranded.