The servers can see one another, and changes to the graph do propegate, but changes to users don't propagate.
After creating a couple of new users on the leader, I point the Neo4j Browser for each of the three servers, and run two commands:
The first report is identical across all three servers, and correctly shows the other servers of the cluster and all their roles.
The second report is different on the leader; it shows the neo4j user, plus the two users I created. Whereas the other two servers only show the neo4j user. Apparently users don't propagate across the cluster, as explained here: https://neo4j.com/docs/operations-manual/current/authentication-authorization/native-user-role-management/propagate-users-and-roles/
so immediately after I create a new user + role I will need to manually copy these three folders to the non-leader servers.
So propagation works for data, but not for users. Is that correct? If so must I shut down those servers when I update them?
And just to turn over every stone..the link above discusses native users. Is there such a thing as a non-native user for Neo4j?