Check upon loading if unique-ID is really unique
There are instances in JSOC OPL where non-unique IDs do not overlap in time-stamp. Can the uniqueness of IDs be checked upon loading of TOL or JSON OPL and reported, let say, as magenta color highlight? Another option is to notify user by some dialog-box with list of non-unique IDs (but different color high-light is sufficient)