No, I don't. I merely think that having a free manual and a non-free alternative to it is perfectly fine, because the user will decide which one they pick. No n

No, I don't. I merely think that having a free manual and a non-free alternative to it is perfectly fine, because the user will decide which one they pick. No need to force any kind of specific ideology upon anyone.