reindexing MathHub - only English concepts with MMT URIs