>>Also, at least a few people have mentioned "make world".  Presumably,
>>there's supposed to be a /usr/src/Makefile, then?
>
>There *is* a /usr/src/Makefile.

Strange, it didn't show up in the last few tar balls.  Of course it
isn't hard to ftp it from the loose source.  You just gotta know to do
it.