Our convention seems to be to use // comments.  I'd suggest switching to that and opening up the discussion about whether (and how) we should use /* comments.