docs: String tableNameForIndexName(String indexName) {
          // the schema manager has a map of indexes by name
          // if this shows up on profiles, you can try to use that, but beware
          // the case insensitivity going on here
          HashMappedList hsqlTables = getHSQLTables();
          for (int i = 0; i < hsqlTables.size(); i++) {
              Table table = (Table) hsqlTables.get(i);
              for (Index index : table.getIndexList()) {
                  if (index.getName().name.equalsIgnoreCase(indexName)) {
                      return table.getName().name.toLowerCase();
                  }
              }
          }
          return null;
      }