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