This section contains various attempts at writing detailed specifications of the data formats used by Tahoe.