Slide 12 : 21
The source format of the documentation 

 

An XML markup language is used for the overall structure, the relations, and the source markers

HTML is used for additional markup purposes