Update user manual section on debugging