$ 0 0 @NotMike Indeed, I should have mentioned the P-space property. I added a remark to the question on this subject.