Comment #5 on issue 2651 by [email protected]: Patch: web: Linux => GNU/Linux. English only.
http://code.google.com/p/lilypond/issues/detail?id=2651
"Tux the linux penguin" should remain as it is, since he's the mascot of the kernel itself. However, the "Unix (linux and freebsd") should become "Unix (GNU/Linux and freebsd)". The word on the other-sources-of-info should be changed.
