docs: def filelines(fname,strip=False):
      '''read lines from a file into lines...optional strip'''
      with open(fname,'r') as f:
          lines = f.readlines();
      if strip:
          lines[:] = [line.strip() for line in lines]
      return lines;