We can finish the indexing of auto-completions for stdlib/belt , so that auto-complete for such modules could be done immediately