static String gunzipToText(String dataID) ctex {
  new ByteArrayOutputStream fos;
  copyStreamAndCloseAll(newGZIPInputStream(loadBinarySnippet(dataID)), fos);
  ret fromUtf8(fos.toByteArray());
}