@daveliepmann this is an excellent plan. which lisp should we install on tilde club?