10.02.13 minor addendum to debugging section of vignette