The SEAL desktop environment.