echo '<a href="doc/AUTHORS">Contributors</a><br />';
echo '<a href="http://flattr.com/thing/343331/ngIRCd" target="_blank">';
echo '<img src="common/flattr-badge-large.png" alt="Flattr this" title="Flattr this" border="0" />';
echo '<a href="doc/AUTHORS">Contributors</a><br />';
echo '<a href="http://flattr.com/thing/343331/ngIRCd" target="_blank">';
echo '<img src="common/flattr-badge-large.png" alt="Flattr this" title="Flattr this" border="0" />';