I'm referring to the source code that is used to build and generate the documentation available in that link. The MySQL documentation is written using the DocBook XML format.
No word yet on why the source code for the MySQL documentation is no longer publicly available. Was recently and silently made unavailable. This is much worse than a few man pages.
The MySQL build team has a script that updates the license header in files that require it. Since the "different license" is actually the license of the documentation, from which the man pages are generated, it is possible that the script failed to update the licence text in the man pages.
> our constitution remain mostly unchanged since '88
There have been 73 amendements to the constitution over 28 years. Experts on the subject usually point out that it actually changes too much and too often.
The analysis is all nice and dandy, except for being wrong. Interrupted reads are retried, but only up to a certain amount which can be changed. The (perhaps not so good) default is to retry one time.
Here is a link to an older version of the page where the documentation was available: http://web.archive.org/web/20121030130559/http://dev.mysql.c...
See "Documentation Repositories".