I didn't read that very carefully, but proving that a parallelogram with equal diagonals is a rectangle is obvious enough via triangle congruency that I suspect

I didn't read that very carefully, but proving that a parallelogram with equal diagonals is a rectangle is obvious enough via triangle congruency that I suspect they were just taught it without the proof. It's not a particularly interesting detail.