Anyone in my toot-o-sphere played with tiny DC-to-DC / Pico PSUs for gaming PCs?

I'm falling down a small-form-factor rabbit hole again and toying with notions of a dual PSU setup for a DIY case