doc updates to DESIGN and CREDITS