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