[thayne]

Being proprietary it can't be part of the Debian destribution, and the license might be problematic for other distros to include as well.