I just use data center power supplies, USA engineered and Chinese manufactured.
Then I get one of a million bucking converter power supply units on Amazon or AliExpress.
Unless you want a Chinese engineered and Chinese manufactured switching power supply in your bench top supply you could always do similar. IIRC it was $20 for my data center power supply on eBay.
Just another option.
I miss my linear supply I built many moons ago in uni, I will be building a new one soon.