To give proper credit (I think it's also mentioned in the blog post), the Z80 netlist was actually extracted by the visual6502 project. The data files are available in the visual6502 github repository:

https://github.com/trebonian/visual6502