recompiled CodeBook.html