The marked sentence in the below image leads me to think that Arduino should be able to debug code on CH32V boards, but Arduino seems to not be able to do this.

Am I misunderstanding this sentence? If so, could you please direct me to a description of how to debug code on these chips?
Thank you!