Re: [PATCH] coding style: Follow our own rule on comment style