ParentFull threadjarin·Stallman never misses an opportunity to bring up the Linux vs. GNU/Linux distinction.View on HN