getSessionKeyForUser() and documentation