I always wondered if Linus' name hadn't been part of the OS name (even though Linus supposedly wasn't the one who decided to call it Linux) whether Stallman would have gone on such a crusade. Probably not.