Opinions on this?

No.11266330 ViewReplyOriginalReport
Frames and locales, topology without points. By Picado and Pultr