Couleur

Si vous utilisez des manuels au format HTML, il est possible que des liens hypertexte ne fonctionnent pas et que des sections référencées n'apparaissent pas à moins que tous les manuels HTML aient été installés.