Doc fixes: user interactions, etc