docs: public static String getMetricsTableName(String schema, String table)
      {
          return schema.equals("default") ? table + "_idx_metrics"
                  : schema + '.' + table + "_idx_metrics";
      }