When I'm all done..

[Mark]

 ... Is it then possible to delete the following directories?

/usr/src/

And

/usr/obj/

And perhaps even,

/usr/ports/

For a small 'emergency' disk, I'd like to remove those directories, after
the 4.9R install has fully completed. Can it be safely done? Or is anything
needed, at runtime, from those directories?

Thanks,

- Mark