I agree with most of this, but "server binary with no documentation" is an extremely good outcome compared to the status quo.
People can reverse-engineer a server binary, but reverse-engineering a server that is no longer running is not guaranteed to be possible.
There are worse potential loopholes you didn't mention though.