Add more design documentation.