Has anyone encountered where they can't use the mention functionality in the document library? They can comment but not mention anyone.