MySQL man pages silently relicensed away from GPL