Don’t leave dead code, just remove this rule if we don’t need it any more.