End of chapter 'What is OTP?'.
Various stylistical changes in multiple chapters. Fix labels for all sections and chapters.