Fargues and Scholze conjecture a Hecke-equivariant equivalence of categories between certain coherent sheaves on the stack of Langlands parameters and compact objects in the category of lisse-etale sheaves on Bun_G. We will discuss how to prove this conjecture for irreducible parameters for GL_n, with integral coefficients. It turns out that this needs surprisingly little knowledge about the spaces involved, the non-formal input is the cardinality of the Fargues-Scholze L-packets and genericity of their members. The formal input is about localizations of categories over schemes, which we will discuss. If time permits we will also discuss the t-exactness of this equivalence.