If it's true that users can't get a notification for a file update--I don't see it in the user settings--is there some way for people to subscribe to an individual file? Or is there a configuration I can change so that file updates will generate a notification? Thanks for your help!