{
  empty = {
    # FIXME: texpresso is broken upstream
    plugins.texpresso.enable = false;
  };
}