dynamic linking and GHC 8.0.1 User's Guide

I believe that static linking will produce a faster program, at least in some situations. If so it would be good to mention this in section 8.2 of the user's guide, *Faster: producing a program that runs quicker, * I couldn't find documentation for the -dynamic-too option of GHC. If it isn't there it would be good to document. I looked in the index, and sections 6.11.5. *Options affecting code generation, *and 6.11.6. *Options affecting linking.* Is there a pdf version of the GHC 8.0.1 User's Guide? It' much easier to search in the pdf version. 8.0.1 rc1 just has an html version but perhaps there is a pdf version available on the web somewhere. I assume the final version of 8.0.1 will have a pdf version. Thanks George