Erik, Marc, Dave:

I've updated the CDS Overview to show the timing card firmware as a color block in the RGC version section of the IOP model.

For each IOP model, the top part of this block shows the RCG version, GREEN=5.5, BLUE=5.5.2. The lower part shows the Timing Card version, GREY=old, DARK-BLUE=new.

For user models this block just shows the RCG version as before.