>>>> "M" == Michael Sperber
<sperber(a)informatik.uni-tuebingen.de> writes:
>>>> "Stephen" == Stephen J Turnbull
<turnbull(a)sk.tsukuba.ac.jp> writes:
Stephen> Not from me; as a mule kind of person I would _prefer_ that stuff be
Stephen> explicitly labelled that way.
Stephen> How about "term/*"? Could that have the same problems?
M> No, already done there.
And I suggest, as I mentioned earlier, that "term" remain the _only_
directory handled that way.