More on CodeBook.md