docs: def print_flush(*args, **kwargs):
      """ Like `print()`, except the file is `.flush()`ed afterwards. """
      kwargs.setdefault('file', sys.stdout)
      print(*args, **kwargs)
      kwargs['file'].flush()