[alberto-m]

Thanks for the reply. I'd strike that part of my comment if I could. Consider it taken back.

[jacquesm]

You can, click 'edit'. Up to one hour after posting.

[alberto-m]

I can edit the post and delete that part, but this would make OP's reply seem out of context. But HN markup does not support striking. I put some HTML tags there anyway, the sense should be clear.