File manager: improved the way it lets people know about a file's permissions having changed [ci skip].