[TUHS] Re: Copyright on 4.2BSD?