The nForum has moved to Zulip: Points of the localic quotient with respect to an apartness….