docs: void prioritizeCopiesAndShiftUps(List<MigrationInfo> migrations) {
          for (int i = 0; i < migrations.size(); i++) {
              prioritize(migrations, i);
          }
  
          if (logger.isFinestEnabled()) {
              StringBuilder s = new StringBuilder("Migration order after prioritization: [");
              int ix = 0;
              for (MigrationInfo migration : migrations) {
                  s.append("\n\t").append(ix++).append("- ").append(migration).append(",");
              }
              s.deleteCharAt(s.length() - 1);
              s.append("]");
              logger.finest(s.toString());
          }
      }