Formality conjecture for Hochschild complexes of orbifolds

Let $M$ be a smooth manifold with an action of a finite group $G$, and let $C^\infty(M)\rtimes G$ denote the corresponding crossed-product algebra. Its Hochschild complex, equipped with its differential graded Lie algebra structure, is formal.

Formality conjecture. The Hochschild complex of the algebra $C^\infty(M)\rtimes G$ is a formal differential graded Lie algebra.

This conjecture is presented as a formality question for orbifolds and is related to extending the noncommutative Poisson structures constructed in the paper to formal deformations. The supplied text does not state whether it has been resolved.