docs: def report(issues, show_urls=False):
      """Summary report about a list of issues, printing number and title.
      """
      # titles may have unicode in them, so we must encode everything below
      if show_urls:
          for i in issues:
              print(u'#%d: %s' % (i['number'],
                                        i['title'].replace(u'`', u'``')))
      else:
          for i in issues:
              print(u'* %d: %s' % (i['number'], i['title'].replace(u'`', u'``')))