Re: [dev-context] mtxrun nonstopmode

While at it, I would like to place a vote for having as few command names as is feasible. In the current situation I find I often forget whether I need ctxtools or xmltools or textools or ...

I'd second that idea right away! Oliver