Sphinx and progfiguration#

We use Sphinx for documentation. Here are a few notes on how we use it.