At the time it was "TBNL" (http://weitz.de/tbnl/), which I believe has indeed evolved into Hunchentoot.