Renamed manual.scrbl to avoid package conflict