People do sell short. People also move, don’t want to be bothered, etc.
If Watt pushes through principle forgiveness, we may end up with a lot fewer people underwater even if prices drop. Those would become normal, non-short, equity sales after they get principle (vs rate-and-term) mods.