> On Feb 20, 2017, at 6:59 PM, Skip Tavakkolian <skip.tavakkolian@gmail.com> wrote:
>
> 9pi (bcm) kernel: maintained by Richard Miller; sources are in contrib area on Labs' sources

We really need to make sure the Labs' public fileserver is getting mirrored someplace.  I doubt it will be very long before it vanishes altogether.  (I'm surprised it's still around, in fact.)