$def with (taglist)
<div class="taglist" align="left">
  $for name, pretty_name, num in taglist:
      <a href="/tag/$name/">$pretty_name ($num)</a><br/>
</div>