https://9lib.org/document/q2n0v62p-small-non-porous-sets-topologically-complete-metric-spaces.html