(This is mostly an internal dev document for now. We should eventually link it into our RTD system, perhaps after we think we are mostly bug-free in terms of what the doc specifies.)