> are there more details somewhere about the session_info table?
The schema of this can be found in Quick Setup > Database section.
> just wondering if the session handle row for that user's session should be removed if the user signs out
Yes. It should be. The
revokeSession
function does exactly that.