docs/pdf/abstract.tex docs/pdf/background.tex docs/pdf/gettingstarted.tex docs/pdf/highlevelview.tex docs/pdf/overview.tex docs/userguide.pdf merged doc fixes from Daniela/Pasqua. Still a long way to go.