The new boards arrived yesterday, so last night and this evening I populated a board and programmed it. Worked first time, sigh. The old board has been running continuously for over a month and hasn’t lost a minute. So looks like it’s time to finish up the firmware and make some clocks!