2 ms·

I think comments getting out of date is really not that big of a deal. It’s the last of your problems most of the time.