Thanks for the links! That tiny USB-C power supply is wonderful. I think I'm going to have to build something like this now. Maybe with a case that can be mounted into a portable workstation.
Ricardo - the builder of the linked power supply - also linked this DC6006L [1] by FNIRSI if a non-DIY route is more appealing.