The letter is not about that… in fact they are cool with ppl theaming their systems. The problem is when downstream packaging decides to include themes by default while keeping the original names…