supertuxkart non-redistributable?

[Ken Cunningham]

Just curious what makes this port non-redistributable….

it’s likely a pain for users to have to build it.

Ken