static long usedDiskSpace() {
  ret userDir().getUsedSpace();
}