Update user_manual_en.md