Thanks a lot. Do the latest Kicad files in the Git repository reflect these changes?
AFAIK, it does not. I still see only one NOR gate.
I haven't pushed the new changes yet. I'm still editing the board file and added the new part to the library but if I push the schematic then someone's going to run the netlist over to the board and have problems.