This change is older than you think (February 2023). And since the same post include the addition of another tag, I guess it would also talk about it if the "public" tag was removed.
Not that it's fully impossible, but if it happened it was before last November. I guess that OP would have noticed it if it disappeared 8 months ago?