Note: the documentation is broken down between a user manual and
reference manual. The reference manual is far from
complete in its documentation of the SGOPT source, but
I'm expecting to make major revisions to SGOPT in the next
few months (to exploit templatization), so the documentation
will have to follow that.
TODO: review the user manual.