Use time from downlink for @kg4sgp.

This makes use of Lens and the fact that Thyme provides lenses for things like
UTCTime.