Are there any licensing problems that prevent TUX from being in Debian? Has anyone tried it out? Thanks, -Brent