- of the the shower. Although we like penguins, GNU is a much\
- greater contribution to the entire system, so its mascot deserves\
- more promotion. See our web page for their images.\
+ of the shower. Although we like penguins, GNU is a much greater\
+ contribution to the entire system, so its mascot deserves more\
+ promotion. See our web page for their images.\