Hello, Information from a commit like "docs: sphinxify coccinelle.txt and add it to dev-tools" caught also my software development attention. https://git.kernel.org/cgit/linux/kernel/git/torvalds/linux.git/commit/Documentation/coccinelle.txt?id=4b9033a33494ec9154d63e706e9e47f7eb3fd59e
Did an other information from a comment become outdated in the script "coccicheck" because of such changes for the documentation format? https://git.kernel.org/cgit/linux/kernel/git/next/linux-next.git/tree/scripts/coccicheck?id=c802e87fbe2d4dd58982d01b3c39bc5a781223aa#n4 Regards, Markus
