@Colin Nope! The user I mentioned in this topic never stopped being a member of the Organization and has other tokens which are used by other projects.
Among those tokens there was the one which apparently disappeared.
I’m aware that when a user is removed from an Organization, their tokens become invalid, but this is not the case here: the user was not removed from the Organization.
Thus this and Unexpected user removal from Sonar Organization are 2 different cases.