Update user_manual.html