dbaupp comments on comment to dude

[dbaupp]

(Is this in the wrong place?)