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