self extrating zip file of pdf manual, since won't fit on disk otherwise.