> tekUI is (was?) nice but now seems dead, which is a pity: Oh, perhaps not: release-0.8k dates from just 2 months ago: http://hg.neoscientists.org/tekui/ Let's hope it continues to be developed.