I’d have thought that it’s more likely their clients whom their algos spoof on behalf of who hold the large short positions. Discovery would show who the MMs were spoofing for (and maybe it’ll turn up that it was for themselves), and that’s not a path any of them will want to walk down, IMO.