Couleur

Si vous utilisez des manuels au format HTML, il se peut 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.