docs: public static Map<String,List<Long>> readHints(File hints) throws IOException {
      Map<String,List<Long>> result = new HashMap<>();
      InputStream is = new FileInputStream(hints);
      mergeHints(is, result);
      return result;
    }