docs: private static final String human (long n) {
          if (n >= 1000000) return String.format(Locale.getDefault(), "%.1fM", n/1000000.0);
          if (n >= 1000) return String.format(Locale.getDefault(), "%.1fk", n/1000.0);
          else return String.format(Locale.getDefault(), "%d", n);
      }