i suspect that there are still people who want to mine BTC with expectation of holding them til the value increases

didnt you read the post about each BTC being worth 13k

If you are counting on the exchange rate increase to make your mining profitable (i.e. you will not make the invested BTC back) it's better to just keep or buy the same amount of BTC you would otherwise have invested in mining.