> However, seeing as things are maintained separately (for good > reasons), perhaps copy-to-libkern itself should just be removed > since it's basically pointless at this point and hasn't been > used for about a decade.
I think that is the right direction. Then, do a seperate cleanup.