Sorry to refocus on the original question, but I would also be
curious to learn more about the use of / evolution to GUI or web
interfaces to the 3000, i.e. what tools people are using and in
what context, for what purpose. And, of course, what experiences
they can share (good or bad).