Adding a user to a server that is already there will not add it again.
server.get_users() returns a list now instead of a set.