fulltext search for documentation
right now the fulltext index is based on the TEI documents exclusive. we want all the documentation searchable as well. maybe we just have to configure an index on the corresponding collection and an interface to select what part of the database to search.