Is there a variation on 2 that would make you happy? Something where we have 'rico' be named 'racket' add a 'racket repl' command and then give the ugly name to something that I don't have to type very often?
Robby _________________________________________________ For list-related administrative tasks: http://list.cs.brown.edu/mailman/listinfo/plt-dev