static Pair<Long> usedAndTotalDiskSpace() {
  File f = userDir();
  long total = f.getTotalSpace();
  ret pair(total-f.getUsableSpace(), total);
}