Cet item visualise la présente documentation en ligne. Celle-ci peut aussi être éditée en invoquant l'éditeur local de pages HTML, sur le fichier de nom Doc.html dans le répertoire d'accueil de la documentation (fixe dans l'item Préférences du menu Options).