xusd, deusd, and usdx have all collapsed. Speaking of which, I hadn't really heard of these stablecoins before they collapsed. Do retail investors really hold them?