renamed manual.scrbl