#427443 provide a documentation index (like tetex had)