>実際には、KDE のライセンスは GPL ではない。