> We are in the special case of a package which is a wrapper around an external > tool. I think it's good to differenciate the tool and the wrapper, and avoid > calling the package "tla". (By the way, Stefan, where does the 'x' come from?)
I have the same question. I guess it comes from "xtra".
