Documentation for InfiniDB not included in source