Comment by rcxdude

It is, specifically because Tuxedo licensed their modules as GPLv3, instead of GPLv2 (the module license declaration only has 'GPL', to make this confusing), causing a mild license compatibility issue, and since they've had external contributions, it's not so easy for them to fix it. And it's not a ban, just a flag that gets set.