That is correct, good sir. Pop even mentioned it at the time.
But it doesn't change the fact that it was a mistake. Jaren wouldn't have gone on and put up the numbers that Stephen has.
The point of this thread is to point out would could have been and that the Spurs made a mistake. With mistakes, all you can really do is learn and move on. They have a great chance to win it all this season and that's all that really counts.
But if the same situations comes up again, they need to think twice before forgetting this tidbit of history. For example, if Devin Brown comes up clutch in the playoffs, there is a history to base further actions on.