There are quite a few uses of // as comments. (Also several in URLs in comments) Do we plan to use any compilers that don't support that? Is it OK to use them? If we find occasional uses, should they be fixed? -- These are my opinions. I hate spam.