Thanks! I agree with your reading that changing the default username and password and re-exporting would count as modification. However, it seems there are pl

Thanks! I agree with your reading that changing the default username and password and re-exporting would count as modification. However, it seems there are plenty of Ubuntu .deb mirrors out there... and there are even instructions at https://help.ubuntu.com/community/Debmirror https://help.ubuntu.com/community/Debmirror. Your previous post said "you can't redistribute Ubuntu binaries or sources as-is, since they contain registered trademarks of Canonical" (emphasis mine), which I think isn't quite true - there has to be some modification involved to fall foul of Ubuntu's IPR.