The SEAL desktop environment.
