Hafidh's sharp tree multiset dimension bound

Let $T$ be a tree with order $n$ and diameter $\operatorname{diam}(T)$, and let $md(T)$ denote its multiset dimension. Hafidh's conjecture. If $md(T)<\infty$, then

$$md(T) \le n-\operatorname{diam}(T)+1,$$

and this bound is sharp. The source presents this as a further conjecture after noting that the preceding general conjecture had been proved for trees. No resolution of this sharper bound is supplied in the provided text.