static String gunzipTextSnippet(String dataID) {
  ret gunzipToText(dataID);
}