Why $PSL_3(\mathbb F_2)\cong PSL_2(\mathbb F_7)$? Why are groups $PSL_3(\mathbb{F}_2)$ and $PSL_2(\mathbb{F}_7)$ isomorphic?
Update. There is a group-theoretic proof (see answer). But is there any geometric proof? Or some proof using octonions, maybe?

The group $G=\operatorname{PSL}_2(7)$ acts on $X=P^1(\mathbb{F}_7)$. Fix $p\in X$, and consider the action of the stabilizer subgroup $G_p=\{g\in G:g\cdot p=p\}$ on the set $\binom{X\setminus\{p\}}{3}$ of $3$-element subsets of $X\setminus\{p\}$. It has three orbits, of sizes $7$, $7$ and $21$; this can be checked by considering cross-ratios. Pick one of the small ones: one can check that it is a triple Steiner system $S(2,3,7)$, so it is isomorphic as a design, to $P^2(\mathbb{F}_2)$.
Playing a bit with this construction can be used to realize the isomorphism explicitely.
Later. An observation, which helps explainwhy this works, is that if $o\in\binom{X}{4}$ is one of the $G$-orbits of size $14$, then the automorphism group of $o$ (that is, the set of permutations of $X$ which map elements of $o$ to elements of $o$) is $\operatorname{GL}_3(\mathbb{F}_2)\rtimes\mathbb{F}_2^3$, the group of affine maps of $\mathbb{F}_2^3$ (here  \rtimes is supposed to mean crossed product). Fixing an element $p\in X$, as I did above, amounts to picking a 'zero' in $\mathbb{F}_2^3$ viewed as an affine space, that is, looking at it as a vector space. (This puts a structure of affine $3$-space over $\mathbb{F}_2$ on $X$, and if we start with the other $14$-element orbit $o'\in\binom{X}{4}$ we get another structure of affine $3$-space over $\mathbb{F}_2$; $\operatorname{PGL}_2(7)$ is precisely the set of permutations of $X$ which preserves both affine structures)
