Under choice, the Niemytzki plane is Tychonoff and locally metrizable but not normal, paracompact, or metrizable

Tangent disks and ordinary disks satisfy [L1]: intersections at a positive-height point contain a small ordinary disk, and a tangent disk at a boundary point contains a smaller tangent disk. Distinct points have disjoint such members: use small ordinary disks above the boundary, and for a boundary point $(a,0)$ choose a sufficiently small tangent disk, whose closure is tangent only at $(a,0)$. Thus $M$ is Hausdorff and hence $T_1$ by the two disjoint opens. The boundary $D=\mathbb R\times\{0\}$ is closed and discrete, while $E=\mathbb Q\times\mathbb Q_{>0}$ is countable and dense by the rational-density property.

Suppose the plane were normal. Then [L2] gives an injection $\mathcal P(D)\to\mathcal P(E)$. For the cardinal bridge in [L3], binary sequences map bijectively to the Cantor set and hence inject into $\mathbb R$; $x\mapsto\{q\in\mathbb Q:\iota(q)<x\}$ injects $\mathbb R$ into $\mathcal P(\mathbb Q)$ by rational density; $\mathbb Q\approx\mathbb N$ transports the latter to $\mathcal P(\mathbb N)$; and characteristic functions identify $\mathcal P(\mathbb N)$ with binary sequences. Schröder--Bernstein therefore gives $\mathbb R\approx\mathcal P(\mathbb N)$, and the projection transports this to $D\approx\mathcal P(\mathbb N)$. By [L4], an injection $E\to\mathbb N$ induces an injection $\mathcal P(E)\to\mathcal P(\mathbb N)$, while the just-established bijection gives $\mathcal P(D)\approx\mathcal P(\mathcal P(\mathbb N))$. Their composite is therefore an injection $\mathcal P(\mathcal P(\mathbb N))\to\mathcal P(\mathbb N)$. The singleton map supplies the reverse injection, so [L5] makes this impossible.

The tangent-disk coordinate charts obtained by radial projection from the tangency point give metrizable neighbourhoods at boundary points; Euclidean disks do so above the boundary. To separate a point $p$ from a closed $F$ not containing it, first take a basic neighbourhood of $p$ disjoint from $F$. If $p=(a,0)$, choose a tangent disk $T_r(p)$ disjoint from $F$ and define $f(p)=1$ and, for $(u,v)$ with $v>0$, $f(u,v)=\max\!\left\{0,1-\frac{(u-a)^2+v^2}{rv}\right\}.$ Its support is the smaller tangent disk $T_{r/2}(p)$, and $f\to1$ at $p$ because $(u-a)^2+v^2<\varepsilon rv$ is exactly membership in a sufficiently small tangent disk. It is ordinarily continuous above the boundary and zero on a tangent neighbourhood of every other boundary point, so it is continuous on $M$ and vanishes on $F$. If $p$ has positive height, an ordinary Euclidean bump supported in a small disk disjoint from $F$ and from the boundary has the same properties, extended by zero elsewhere. Thus $M$ is completely regular; with the $T_1$ conclusion of step 1.1, [L6] makes it Tychonoff and locally metrizable.

Hence the plane is not normal. If it were paracompact, its Tychonoff property gives Hausdorffness and [L5] would make it normal; if it were metrizable, Stone's theorem, under choice: every metric space is paracompact would make it paracompact. Both are impossible.

This proves the stated profile.