Add getDefaultRootKeyboardCard to SelectableNodes.  Normally this is the "NavManip" keyboard-card root in the proof model.