@thomzane Sure, but there's a lot of other parts of questionable licensing and I'm fairly confident that there is other proprietary stuff, as after all, HP intentionally put proprietary software in a release that was mean to be "open source".

Hopefully, Debian patches all the proprietary parts out, but unless someone has checked every last file, you really can't be sure.