Update user_documentation.md