code: def remote_list(timestamps=True):
      
      r = get_remote_file(DICTS_URL)
      lst = []
      for f in r.text.split('\n'):
          if not f:
              continue
          name, date = f.split(':')
          name = name.replace('.txt', '')
          lst.append((name, int(date)) if timestamps else name)
  
      return lst
docs: Return a list of the remotely available dictionnaries. Each element is a
      tuple of the dictionnary name and its last modification date as a
      timestamp.