Plus, I may have downtime to dumpster dive for old tickets but my manager / peers usually don't. So try to I avoid creating PR work for others unless the ticket is relevant to the feature-being-developed or a one-line fix.