Re: [PATCH 3/4] doc: codingstyle: Remove comment about '//' style comments