So I found the person who added the ExpressCard schematic symbol to kicad and discovered, they had also made an ExpressCard USB thing! It's 2x USB2 ports, but it does have a power section. https://gitlab.com/jstjst/ExpressCard-USB2-Hub Sadly, it only contains the [exported schematic as PDF](https://gitlab.com/jstjst/ExpressCard-USB2-Hub/-/raw/master/Hub/Schaltplan.pdf?ref_type=heads&inline=false), and does not have the rest of the KiCAD files, so I can't use the same footprint as them. That is one of the things I have to make next. Oh, they use a [TPS2500](https://www.ti.com/lit/ds/symlink/tps2500.pdf?ts=1707642050269) from TI that is designed to provide 5V USB power from a 3.3V (or other) power source. I wonder if it's a better choice that what I have already? It's cheaper, but handles less current. But it's also designed for USB