Design documents are updated, reflecting a newer implementation.