Ubuntu audio-out picker
Another little note-to-self that might help a web search. Ubuntu 20.04 (and previous, I gather) has no quick way to switch audio outputs (e.g., speakers to headphones.) You have to drill 3 layers down into settings. Irritating!
There are tons of Gnome shell extensions that purport to fix this but none of them could see any outputs other than the built-in speaker on Mac mini. (Yes.)
But wait! This one did!
That's it, that's the post. Use that extension. I tried to leave a ⭐⭐⭐⭐⭐ review but I'm locked out of whatever account you must have, to leave a review... because of course.
[UPDATE: An hour later I've realized I linked to one of the crummy ones, not the good one. Fixed.]