docs: def write_system(filename, format=None):
      '''Write the system currently displayed to a file.'''
      datafile(filename, format=format, mode='w').write('system',
                                                        current_system())