static String gunzipToText(String dataID) ctex {
  new ByteArrayOutputStream fos;
  copyStreamAndCloseAll(newGZIPInputStream(loadBinarySnippet(dataID)), fos);
  return new String(fos.toByteArray(), "UTF-8");
}