An elementary, geometric proof of the non-existence of a projective plane of order 6

We present a fairly elementary, self-contained proof of the nonexistence of a finite projective plane of order $6$. Our approach is motivated by theory of binary codes but does not appeal to it directly.