Mond's conjecture for frontal map germs

Let $f\colon (\mathbb{C}^n,S) \to (\mathbb{C}^{n+1},0)$ be an \mathcal{F}-finite frontal map germ. Let $\mu_{\mathcal{F}}(f)$ denote its frontal Milnor number, and let $\operatorname{codim}_{\mathcal{F}_e}f$ denote its extended frontal codimension. Assume that $(n,n+1)$ is in the frontal nice dimensions. Mond's conjecture.

$$\mu_{\mathcal{F}}(f) \geq \operatorname{codim}_{\mathcal{F}_e}f,$$

with equality if $f$ is quasihomogeneous. This is the frontal version of Mond's conjecture, relating the number of spheres in the frontal disentanglement to the extended frontal codimension. The supplied text does not state whether the conjecture is resolved, so its status is left open.