* Fix benchmarks for S3260,S6610,S6612,S6613,S6617,S6618 * Review 1
Inline adoc files when they are included exactly once. Also fix language tags because this inlining gives us better information on what language the code is written in.