(Close to) finalized design.txt