@User: We have the library schematic/symbol part of it more or less integrated at efabless. You can check with @User (Risto Bell) on our implementation. Somebody outside of efabless was working on integrating the Sky130 PDK into electric. That conversation was started on another channel (I forget which one), and then this channel was created for additional discussion, except that there hasn't been any additional discussion.