Print them as a subsection of the external library section, in line with
what is done for the help text in the previous commit.