Change the DES documentation to reflect the current status. Note that