The default theme of the next Debian release can't officially brand itself as Debian? A bit of common, rather than legal (non), sense ought to be applied to this "problem".