I guess I had my students do this wrong. We just used a regular PWM cable and only plugged in the two wires that were active on that cable. There is plenty of room for one end to hang off the front of the connector on the board.
The LED works correctly but I don't know what the inspectors will say if they even catch it. I'll see what it takes to use the grey wires before having them fix something that works already.