IndexHandle {#GlossaryIndexHandle}
==================================

@GE{Index Handle}: An index handle uniquely identifies an index in the
database. It is a string and consists of a collection name and an
index identifier separated by `/`.