Text this: Representing Matroids over the Reals is $\exists \mathbb R$-complete