$ 0 0 This answer proves incidentally that in a $\mathrm{T}_1$ topological space, the nucleus corresponding to any spatial sublocale is regular.