Re: Formatting - relaxed?

[gl]

I've read the guide on code formatting, but I'm wondering if the project
leader(s) are still as concerned about // style comments?  They're much 
quicker to type, and also allow the use of /* */ to quickly disable 
blocks of code.

Yes, we are concerned about those.

Fair enough.
--
gl