More work on the user list for protocol views