docs: public static String slurpGZippedFile(String filename) throws IOException {
      Reader r = new InputStreamReader(new GZIPInputStream(new FileInputStream(
          filename)));
      return IOUtils.slurpReader(r);
    }