9031e7e
Don't try to copy over documentation that isn't there any more. A similar fix had been applied to live base a while ago. We really want live base inheriting from mini so that we don't end up having to fix things twice.