Not at all - you can extract debian-firefox from debian and use it elsewhere, calling it firefox. The exception wasn't "must be in debian system" as per #8, but "debian has a proven track record of keeping FF as a quality release, so we'll allow their modifications to bear the name".
