Why does Sphinx index produce two Symbols sections?