you are right, it was abandoned. I forgot about that.
From my understanding there never was an official successor, that's why I consider VeraCrypt a fork.
From my understanding there never was an official successor, that's why I consider VeraCrypt a fork.