@AsafKaragila Thanks for letting me know, I completely missed that. Now that the character limit is increased to 35, maybe a synonym (generalized-continuum-hypothesis) $\to$ could be created. I guess the tag would be easier to find in the longer form. — Martin Sleziak24 secs ago
Based on the list of tag synonyms it seems that you deal with tag synonyms quite often. Of course if it's preferable that the synonym is first approved by the MO community, I can post the suggestion in the relevant meta thread. (I believe it is this one: Help cleanup tags!)
But I asked here in chat first - since this specific synonym seems to me like a clear-cut case, so maybe here the process of going through meta first would be unnecessary.
