by fpoto on Thu Jul 03, 2014 1:28 am
Replying to myself: it seems that I need to go to the problem, switch to java mode, look at the whole list of problems and next to mine I will find a checkbox which I can tick to disable my comment.
Apparently there is no way to do that from javascript, nor a way to edit or delete the comment entirely.
However, I would be grateful if someone knowledgeable could confirm...