The question and the third answer doesn't really have anything to do with eachother. There ain't commercial themes in the repository either. What they have done is page which display sites that sell GPL themes. There is no sites that sells GPL plugins as far as I know. But I think at least Matt should recognize the possibility of this.