Cofreeness of the Lubin-Tate deformation ring

We give a proof of the cofreeness of the Lubin-Tate deformation ring, by generalizing earlier results by Matt Ando and Yifei Zhu about ${\mathsf{H}}_{\mathrm{\infty }}$-orientations to the context of power operations for Morava $E$-theory.