gittip/www.gittip.com — pull request #1777 by whit537 (2013-12-17 15:22:40+00:00)
Title: Rename Horn to Comments

This is an alternate proposal to #1776 for dealing with #1466.