The first official yellowcog PCBs are now being manufactured. We finally plumped for using EAGLE (although not the free version). Thanks to my (now ex) colleagues who helped out by double-checking the schematics and layout.