Pro-etale cohomology of rigid-analytic spaces with Q_p-coefficients has some surprising features: it is not A^1-invariant and no general finiteness theorems over Q_p are true. It has been observed in recent years that these particularities can be explained by viewing the pro-etale cohomology as (quasi-)coherent cohomology on the Fargues-Fontaine curve. I want to explain joint work in progress with Arthur-Cesar Le Bras and Lucas Mann, which aims to fully implement this idea by developing a six functor formalism with values in solid quasi-coherent sheaves on relative Fargues-Fontaine curves.