The geometric Langlands categorification conjecture for Hall algebras

Let $X$ be a smooth projective complex curve and let $\mathbf{Bun}(X)_\mathsf{dR}$ and $\mathbf{Coh}(X_\mathsf{dR})$ denote the de Rham moduli stacks of bundles and coherent sheaves on $X$. Geometric Langlands categorification conjecture. There should exist an $\mathbb E_1$-algebra structure on the dg-category $\mathsf{Coh}^{\mathsf b}(\mathbf{Bun}(X)_\mathsf{dR})$ and an $\mathbb E_1$-monoidal equivalence

$$\mathsf{Coh}^{\mathsf b}(\mathbf{Bun}(X)_\mathsf{dR})\simeq \mathsf{Coh}^{\mathsf b}(\mathbf{Coh}(X_\mathsf{dR})).$$

This is proposed as a categorified, de Rham analogue of the relation between the two realizations of the quantum toroidal algebra discussed in the cited literature. The source does not provide evidence of resolution.