Re: [arch-dev-public] licenses: GPL permutations