“提及”标签是否已与“回复”合并？

[mattdm (Matthew Miller)]

@JammyDodger

They were combined to reduce the number of overall tabs, and @mention and reply are generally of equal importance (more important than likes or edit notifications, for instance).

FWIW, I liked it separate. I find mentions to usually be of more importance than replies (which after a while can kind of drift).