static File imageSnippetCacheFile(S snippetID) {
  File dir = imageSnippetsCacheDir();
  ifndef Android
  if (!loadBufferedImage_useImageCache) null;
  endifndef
  ret new File(dir, parseSnippetIDAsString(snippetID) + ".png");
}