Formality of DG algebras (after Kaledin)

We provide proper foundations and proofs for the main results of Kaledin (2007) [Ka]. The results include a flat base change for formality and behavior of formality in flat families of A(∞) and DG algebras.