Design documents are updated, reflecting the latest implementation