I asked on discord if it's dead and got the answer that is not from one of the top guys. But I don't know if that's true.