svoid addPopupItemsForImageFile(JPopupMenu menu, final File f) {
  if (!hasJPEGExtension(f))
    addMenuItem(menu, "Convert to JPEG (save space by lossy compression)", r-thread { jpegify(f) });
  addMenuItem(menu, "Upload to image server", r-thread { uploadFileToImageServer(f) });
}