I would like to point out the fact that the select statement would have returned the same results, even if the WITH (IGNORE_DUP_KEY = ON) would not have been specified with the creation of the index.

This is correctly described in the explanation, but some people might overlook the fact, that in this case, only the third INSERT statement fails but not is being rolled back, so not everything in between the BEGIN TRANSACTION...COMMIT TRANSACTION.