@AsafKaragila Just to clarify - the way it is phrased it seems like: "It is a metric space which is .... nowhere dense."

Of course, I have no problem with: "It is a subset of $[0,1]$ which is nowhere dense." (Which is possibly what you intended to say.)

I have stumbled upon this today when I was looking for something else related to Cantor space.

If the linked post is bumped, I suppose the tag cantor-set could be added.

@MartinSleziak Yes, probably.

@MartinSleziak I am always reluctant editing very old posts for no reason. Especially if a comment can be used to clarify the mistake. But if the post were to be bumped...

Hi Asaf! I hope you're doing fine.

@AsafKaragila I have added the tag. (I think that this tag is a good fit for this question.)

@MartinSleziak Well. Churning out old papers that have been in the oven for way too long. I need to clean the cache and start working on some new projects.

It all depends on your definition on old post. This one was bumped by a new answer less than a year ago.

Hmm, yes. I have some stuff that should be written down, too. At least in one case the co-authors are becoming impatient.

@MartinSleziak Anything over a month is considered old, but there is a continuum of age, and I have an inverse correlation between the age and the severity of the needed edit.

For a full blown mistake, sure, any age should be edited. For unclear language, it starts to depend on how much it affects the post and how old it is.

Well, in this case, the question was bumped just now - by an unruly retagger.

I am rather careful with editing old post on MO. Since traffic on Math.SE is so big, I see it as less of an issue. (It will hardly be noticed among many new posts.)

@MartinSleziak Unruly indeed. Someone doesn't get the hint that I am looking for less reasons to procrastinate typing in my proofs...

@MartinSleziak I hold quite the opposite view on MSE. Because the traffic, I want to give the stage to the newer questions.

Although occasionally I noticed that post was closed shortly after I bumped it - people around here are much more strict nowadays.

BTW do you plan to look into tag-info for alternative-set-theories tag? Although based on the comments it seemed that Andres was planning to do that.

@MartinSleziak Yeah, I don't know about all that. I might. I have much on my plate at the moment. And I am a bit fatigued with all the nonsense drama on MSE recently. So I've shifted down gears (in addition to the shift I've made in the last couple of years).

Maybe if nothing happens for a long time, I might ping Andres E. Caicedo in a comment. But I suppose it's not in any way urgent. (And since he posted the question with that suggestion, he is very likely interested in that tag.)

@MartinSleziak Yeah, if the tag survives and stabilizes, I will probably add it to my favorites at some point.

Or should I perhaps say favourites, now that I am in the UK.

Indeed, there is quite a lot of conflict and drama. Which is often the case on meta: chat.stackexchange.com/transcript/19138/2018/2/22

Yes. Quite unfortunate.

It was nice to hear from you! I should get back to some stuff I should be doing. See you later!