(1) A grep can identify all the occurrences; a sed might even fix them. (translated to Google internal tools obviously) (2) Apparently setting a __dict__ key w

(1) A grep can identify all the occurrences; a sed might even fix them. (translated to Google internal tools obviously) (2) Apparently setting a __dict__ key works; they could be implemented like that.