This directory contains some extra code that we
don't currently use in the program, but which seems
useful enough to keep around.