Menger–screenability conjecture for the Haver property

Let $X$ be a metrizable space. The Menger–screenability conjecture asserts that there is such an $X$ with the Menger property and

$${\sf S}_c(\mathcal{O}_{fin},\mathcal{O}),$$

which does not have the Haver property in some metric. This asks whether the Menger property together with ${\sf S}_c(\mathcal{O}_{fin},\mathcal{O})$ can fail to imply the Haver property, contrasting with the preceding result that the Hurewicz property together with this screenability property implies the Haver property. The status of the proposed example is not specified in the source.