Is the de Rham complex in characteristic $p$ a CDGA? In the paper by Bhatt and Scholze on prismatic cohomology (https://arxiv.org/pdf/1905.08229.pdf), it is stated that the de Rham comparison theorem for prismatic cohomology can be lifted to an equivalence of cdga's. This confuses me, because I don't see why the de Rham complex of a smooth and proper scheme over a field k of characteristic p which is not affine is a cdga. It seem to me that it might be an $E_\infty$ algebra which is not strictly commutative. So i'm asking: 
It it true that for a smooth and proper scheme X over a field k of characteristic $p$, the global sections of the de Rham complex $R\Gamma(X,DR_X)$, which is a priori an $E_\infty$ algebra in the $\infty$-category of $k$-modules, arises from a commutative differential graded algebra $k$-vector spaces? Note that this imposes many restrictions on the complex, namely the vanishing of most of Steenrod reduced powers on its cohomology. 
If it is a cdga, why is it the case?, or, alternatively, if it is not the case, what do I miss in the prismatic version of de Rham comparison stated in this paper? 
 A: For a smooth and proper scheme $X$ over a field $k$ of characteristic $p$, the $E_\infty$-algebra $R\Gamma(X, DR_{X/k})$ over $k$ is not represented by a $k$-cdga. Indeed, if it were, then most of the Steenrod operations on its cohomology groups would have to vanish, which is simply not true. You get a counterexample as in the first Bhatt-Morrow-Scholze (BMS1) paper by approximating $B(\mathbf{Z}/p)$ by smooth proper $k$-schemes as the Steenrod operations are nonzero on $H^*_{DR}(B(\mathbf{Z}/p))$ (it is just the singular cohomology of $B(\mathbf{Z}/p)$ with $k$-coefficients).
I suspect the phrase "it can be upgraded naturally to an isomorphism of commutative differential graded algebras" in Theorem 1.8 (3) of the quoted paper really should be interpreted at the level of sheaves. For example, the proof of 15.4 in the same paper implicitly appears to suggest the following:
Theorem:
Fix a prism $(A,I)$ and a smooth formal scheme $X/(A/I)$. There is a natural identification $$\varphi_A^* \Delta_{X/A} \simeq L\eta_I \Delta_{X/A}$$ of sheaves of $E_\infty$-$A$-algebras. By the Bockstein lemma (6.12 in BMS1), the sheaf of $E_\infty$-$A/I$-algebras $(\varphi_A^* \Delta_{X/A}) \otimes_A A/I$ is represented by the sheaf of cdgas $H^*(\Delta_{X/A}/I)$, which is naturally identified with the de Rham complex $\Omega^*_{X/(A/I)}$ as a sheaf of cdgas.
