CodingGuidelines: our documents are in AsciiDoc