docs: def list2html(text):
      '''
      Very simple replacement for lists, no nesting, not even two lists in the
      same 'text'... (yet sufficient for the current regulations)
      Assumes list is in a paragraph.
      '''
      match = r'- (.+)\n'
      replace = r'<li>\1</li>\n'
      text = re.sub(match, replace, text)
      # Set start of list
      text = text.replace('<li>', '</p><ul><li>', 1)
      # Set end of list
      tmp = text.rsplit('</li>', 1)
      return '</li></ul><p>'.join(tmp)