It seems this mixtake happened by accident during the AsciiDoctor conversion, as it's not present in the last svn revision locally. PR: 253581