sS gunzipToText(S dataID) {
  ret gunzipToText(loadBinarySnippet(dataID));
}

sS gunzipToText(File f) ctex {
  new ByteArrayOutputStream fos;
  copyStreamAndCloseAll(newGZIPInputStream(f), fos);
  ret fromUtf8(fos.toByteArray());
}