What if he trademarked the artwork/themes distributed with official paid binaries? And users who compile the source on their own just get a basic white-label theme.