Good question.  I move that we delete them.  We could possibly replace them w/ a comment explaining that root, descendant, and properties are stored in the kernel.  @davideaster, what do you think?