> Does anyone have pointers to streaming electronic music (ideally trance / progressive trance, upbeat synthwave[0], or house) that has absolutely no vocals?

Gai Barone has hundreds of episodes of Patterns, most of it has no vocals

https://www.youtube.com/watch?v=-GPSqPjktuo

Same with John 00 Fleming (there is J00F sessions https://www.youtube.com/watch?v=o1ye34nerFw and his monthly show J00F Radio https://www.youtube.com/watch?v=15QotV3QZvk , tho most of the episodes are on SoundCloud or any Podcast app). Vocals are pretty uncommon here too.

I'd start there and when you find a track you like, go to the tracklisting to find the music label, then check out more of their releases.