don't think any of this stuff should be in the public domain
Airbubba & FlightCosting...
There is an old saying.... "security by obscurity is not security".
The whole point is that you have a structured, layered system of security, so that compromise of one or two elements of the security (whether because of a human "mole", by description of a security mechanism or otherwise) does not compromise the security of the system as a whole.
Also stop getting your underwear in a twist, because as has already been pointed out, the information has been in the public domain for some time now because the manufacturer wanted to secure a patent.