I found another issue that is so insignificant it doesn't merit a bug report. The ObjC.syntax file in the framework specifies NO's color to 1.0 1.0 1.0, which is white (against a white background you see the problem). YES is defined to be
1.0 0.0 1.0 (pink).