Add a subsection in core.tex about exported libraries.