This netlist stuff is very cool. Is there a canonical document somewhere that explains how everything works (aside from the source code...)?