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