This isn't a one-line off-hand comment, though. This is documentation. I think it's fair to use /* */