I am thinking of various functions. For example, when a concept is introduced and later, when the concept appears again, one can immediately see what it was when it is first introduced. That's why I said it's like an IDE.

So you create a backlink by detecting that a concept here refers to a prior concept? Hmm thats interesting. But can't this also be done with a simple word comparison, or am I missing something?

What can ML be used for that is not otherwise in scope?