The following design documents exist: