Mozilla/5.0 (X11; U; Linux i686; en-US; rv:1.3.1) Gecko/20030428
I've also toyed with the idea the last few days of making a GUI for
tla. Preliminary, but very useful tools could be built in a matter of
hours using tcl/tk (which is what BK uses). Such a tool would probably
help the learning curve as well (which I am still climing.)