In this talk I want to explain some surprising features of the pro-etale cohomology of rigid-analytic varieties, and how they can be explained by a six functor formalism with values in solid quasi-coherent sheaves on the Fargues-Fontaine curve. 

This is joint work in progress with Arthur-Cesar Le Bras and Lucas Mann.