mithro: wait... so a gate-level diagram as an SVG is auto-generated for each cell in the PDK? that's pretty nice