For now, don't show the symbol index in the navigation.