docs, and moved its section to the end (before the "C API" section,
which latter doesn't really belong in the Library manual).