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 ser

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.