I'm trying to open magic in opengalaxy, but it isn't loading the sky130 pdk by default (minimum is loaded), and it doesn't appear in the tech manager. I tried poking around in the accessible directories for the pdk, but couldn't find it. Does anybody know how to run magic with the sky130 pdk in opengalaxy?