>For instance, for elliptic curves, only a single result is mentioned (their points can be endowed with an abelian group structure), and it's really one of the most basic ideas known about these objects.

One might even say it's a fundamental idea.

Which is the whole point of the document :)

Indeed you are right!