A file was changed, and the ruff check did give an error that was not relevant to this. #12805