docs: Remove useless discussion.

The linked Makefile is always up to date, so there's no point in having
a rotting list of libraries.