I have an AGOL hosted feature layer that I own and share with others. I want to allow them to download this feature layer as a file geodatabase to their desktop. I've shared the feature layer with the appropriate groups and in the details of the feature layer I have "Allowed others to export to different formats". However, when I sign in as another user who is a member of the appropriate group, the option to export the feature layer does not exist.
Here are the details of the feature layer when I am signed in as the owner of the layer:

And here are the details of the feature layer when I am signed in as a user who is a member of the LAKE_Restoration group:

Why is there no option to export?