5.28.
[glosopt] Glossary optional