1.1: dispose of stored user identifiers after a user object is destroyed.