// in percent
static double userDirDriveFullness() {
  File f = userDir();
  long total = f.getTotalSpace();
  ret (total-f.getUsableSpace())*100.0/total;
}