Exceptions for Aiding Others Are Justifiable, but Handle Precedents Wisely
If the existing rule is generally understood as 'an unwritten formality ignored by all,' it might be acceptable to make an exception in aiding a colleague. However, if there's a risk of this exception setting a risky precedent for future practice, involving supervisors to establish an 'official exception' might be a sensible course of action before taking steps.