code: def htmlize_list(items):
      
      out = ["<ul>"]
      for item in items:
          out.append("<li>" + htmlize(item) + "</li>")
      out.append("</ul>")
      return "\n".join(out)
docs: Turn a python list into an html list.