<@U016EM8L91B> Ok, I figured out the port abutment...
# magic
p
@User Ok, I figured out the port abutment, and fixed all the DRC issue (hooray!), but now I have ext2spice issues: