Notes on Calaque-1006: [edit, refresh]
"On the equivalence of two formality theorem, after Severa and Willwacher"