This directory contains some high level documentation for the code. WARNING: much of this is out-of-date. It stil may be helpful, though.