An anonymous reader writes: As reported earlier on Slashdot it appeared the license covering the MySQL man pages was changed from the GPL to something less good. However, as speculated, this appears to be a bug.
The tree of research must from time to time be refreshed with the blood
of bean counters.
-- Alan Kay