Ce manuel est composé avec un éditeur XML (Oxygen XML Editor) au format docbook.
Il est diffusé dans quatre formats différents : un site web, un document pdf, un document ePub (pour les liseuses) et un document imprimé (impression à la demande). Chaque support a un contenu identique.
Les mises à jour sont régulières (plusieurs fois par an). À chaque mise à jour, les quatre supports sont modifiés.