docs: def lines2file(lines, filename, encoding='utf-8'):
      """
          write json stream, write lines too
      """
      with codecs.open(filename, "w", encoding=encoding) as f:
          for line in lines:
              f.write(line)
              f.write("\n")