>>> We do actually update the garbage collection time regardless of the >>> route metric in the regular update function (but not when sending an >>> explicit retraction). I think that's OK, though?
>> Does that mean that a retracted route never expires? > Hmm, no, this is the garbage collection timer in the source table only. Ah, okay then.
