Equities Up, Crypto Down: Robinhood’s May 2023 Trading Data and Upcoming Crypto Delisting