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

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