I don't know, but the price of used 4090s has gone up $500 in the last quarter.
These people told me crypto people are buying the GPUs again. There's even some crypto website they showed me where they get pricing information and comparables.
I don't know or care what coins people mine, just that their activities have restarted and that it's making demand go up.