Move glossary-type stuff from properties.xml to index.xml. Minor additions to overview in properties.xml.