Update manual.scrbl