static Bool isNotebookLidOpen() {
  if (isWindows()) null;
  File f = oneOfTheFiles("/proc/acpi/button/lid/LID/state", "/proc/acpi/button/lid/LID0/state");
  if (f == null) null;
  ret cic(loadTextFile(f), "open");
}