@rotopenguin @kde Wouldn't this be a violation of trademark law if KDE withdraws permission to use the brand?