docs: def devnull():
      """Temporarily redirect stdout and stderr to /dev/null."""
  
      try:
          original_stderr = os.dup(sys.stderr.fileno())
          original_stdout = os.dup(sys.stdout.fileno())
          null = open(os.devnull, 'w')
          os.dup2(null.fileno(), sys.stderr.fileno())
          os.dup2(null.fileno(), sys.stdout.fileno())
          yield
  
      finally:
          if original_stderr is not None:
              os.dup2(original_stderr, sys.stderr.fileno())
          if original_stdout is not None:
              os.dup2(original_stdout, sys.stdout.fileno())
          if null is not None:
              null.close()