This directory contains some high level documentation for the code.

WARNING: much of this is out-of-date. It still may be helpful, though.