Update the user manual section on debugging for recent improvements