Please don't be a jerk on HN, even if another comment seems a bit pedantic.

Separately: there was nothing wrong with gnulinux's comment. It was obviously posted for the pleasure of sharing information, and didn't put down either the GP or Shazam.